da Giusepperoma » 18/10/2005, 14:12
allora,
a non puo' essere minore di a significa che la proprieta' non e' riflessiva, ovvero che NON puo' essere aRa. Ora se la proprieta' non e' riflessiva per nessun elemento si dice che e' antiriflessiva, come nel caso che stiamo trattando!
Simmetrica significa che
se aRb, allora bRa il che in questo caso non e' mai vero, cioe' la relazione e' antisimmetrica.
Quello che hai dimostrato tu e' che e' transitiva, cioe' che
se aRb e bRc, allora aRc
chiaro?
Dunque per ricapitolare:
una relazione R e'
RIFLESSIVA
se
aRa per ogni a
SIMMETRICA
se
aRb implica bRa
TRANSITIVA
se
aRb e bRc implica aRc
se una condizione non e' verificata da ALCUNI elementi e da altri si, allora R non e' ne' simmetrica ne' antisimmetrica; ne' transitiva ne' intransitiva, ne riflessiva ne' antiriflessiva, rispettivamente.
se una condizione non e' mai verificata, allora la relazione e' ANTI...
ok? fammi sapere, ciao
Giuseppe