olemus
mingis hulgas kehtiv selline binaarseos S , mille puhul:
kui x S y ja y S x, siis kehtib x = y selle hulga mis tahes elementide x, y korral

näiteid
- reaalarvude järjestusseos: kui x ≤ y ja y ≤ x, siis x = y
- alamhulgaseos: kui A ⊆ B ja B ⊆ A, siis A = B