Una relación es irreflexiva si no existe un a en A que cumpla que a está relacionado consigo mismo.