Es el predicado de Amor $\subseteq$ Persona $\times$ Persona una relación de equivalencia, de orden parcial o total de la orden? El amor $\subseteq$ Persona $\times$ Persona es válida si $x$ ama $y.$
Mi conclusión hasta el momento: el Amor $\subseteq$ Persona $x$ Persona no es reflexiva o irreflexiva, porque no sabemos si la persona que se ama a sí mismo. Puede ser de un orden parcial, ya que contiene mínima y máxima de los elementos (en el caso de $x$ o no amor $y$).
Es difícil decir si es transitiva porque sólo hay dos elementos.
Alguien me puede ayudar y explicar por qué/por qué no es una relación de equivalencia, de orden parcial o total de la/orden lineal?