Matemaatiline maailmapilt
R2={(1,1),( 2,1),(1,2),( 3,3)} . Siis seos R1
on refleksiivne, sest ta sisaldab kõiki paare
kujul
(a , a) ; nimelt, (1,1) ,(2, 2) R2
ja (3, 3) . Seos ei ole refleksiivne, sest ta ei sisalda
(2, 2) . Seos R2 (1,1)
paari ei ole samas ka irrefleksiivne, sest ta sisaldab paare ja
(3, 3) .
Näide:
· Seos < reaalarvude hulgal R on irrefleksiivne, antisümmeetriline ja transitiivne.
Seos hulgal R on refleksiivne, antisümmetriline ja transitiivne.
· Vaatleme hulga E kõikide osahulkade hulka X =P (E) ja sisalduvuse seost
hulgal X . See seos on refleksiivne, antisümmetriline ja transitiivne.
Pöördseose mõiste
Definitsioon