olemus
binaarseos S mingis hulgas, omadusega:
x S x ei kehti ühegi selle hulga elemendi x korral

näiteid
- "suurem kui": ei kehti x > x
- "risti": ei kehti x ┴ x

vt ka
- refleksiivne seos