Ugotovili smo, da je relacija ≤ tranzitivna, simetrična pa ni. Ima pa kakšno novo lasnost: Velja, da je Maggie ≤ Maggie in podobno za ostale družinske člane. Vsi so v relaciji s samim sabo. Taki relaciji rečemo refleksivna relacija.

Ali lahko naredimo kakšen sklep, če velja, da je en ≤ drugi in hkrati drugi ≤ en? Glede na to, da so vsi Simpsonovi različno visoki, je možen le en sklep: en in drugi sta ista oseba. Relaciji, pri kateri lahko tako sklepamo, rečemo antisimetrična relacija.

Relacijo ≤ smo si v resnici sposodili. Običajno jo uporabljamo za urejanje števil, števila namreč urejamo po velikosti. Tudi pri številih ima enake lastnosti, je refleksivna, antisimetrična in tranzitivna, saj za poljubni števili a in b velja:

1. aa (a je v relaciji s samim sabo - reflektivnost)
2. Če je ab in hkrati ba, potem je a = b. (antisimetričnost)
3. Če je ab in hkrati bc, potem je ac. (tranzitivnost)

Relacija s temi tremi lastnostmi je relacija delne urejenosti. V našem primeru torej ≤ delno ureja Simpsonove, pri številih pa delno ureja števila.

© E-um 2008
© E-um 2008
© E-um 2008
© E-um 2008
© E-um 2008