[ALG] Binary set operations, transitive,irreflexive etc

[hemaworst]

He,
Ben bezig om een repository te ontwikkelen voor relational algebra+(binary) relations etc.
Nu ben ik op het punt om eigenschappen van binary relations te implementeren. Ik weet dat deze er zijn:reflexive,symmetric,transitive,equivalence, asymmetric, antisymmetric, intransitive, acyclic,irreflexive.

Gevonden op:http://en.wikipedia.org/wiki/Binary_relation

Nu weet ik dat sommige eigenschappen "gemaak" kunnen worden door andere eigenschappen samen te combineren:
equivalence = reflexive+transitive+symmetric
asymmetric = antisymmetric +irreflexive

Kan ik andere eigenschappen ook nog verder opdelen of zijn dat al basis eigenschappen?

Aangezien ik het niet kan vinden op Wikipedia en andere pagina;s op internet Wikipedia allemaal quoten kan ik er niet achter komen

[chris]

De binary relations die ik ken zijn de volgende:

reflexief: voor alle x geldt xRx
symmetrisch: alle x, y waarvoor geldt xRy geldt ook yRx
antisymmetrisch: alle x, y waarvoor geldt xRy en yRx geldt x = y (symmetrisch en antisymmetrisch sluiten elkaar niet uit!)
transitief: als geldt xRy en yRz, dan geldt ook xRz

Ik heb even snel gekeken, en volgens mij kan je de andere relaties allemaal uitdrukken in deze basisrelaties.