Proprietà antiriflessiva
Una relazione ℜ definita in un insieme è antiriflessiva se nessun elemento dell’insieme è in relazione con se stesso.
Non tutte le relazioni sono riflessive; per esempio, la relazione “… è il figlio di …” non è riflessiva perchè nessuno è figlio di se stesso, quindi si dice che è antiriflessivo.
Un altro esempio può essere la relazione: ” a è più giovane di b”, definita in un insieme di persone. Possiamo affermare che nessuna persona può essere in relazione con se stessa, non potremmo mai dire che una persona è più giovane di se stessa.
