Una relacion R de un conjunto A en si mismo, se denomina relacion A;algunas estas relaciones de este tipo cumplen ciertas propiedades que permiten clasificarlas en : reflexivas, simetricas o transitivas. R es reflexiva si A