← predicate ideal • library • elements • relation equivalence relation →
A binary relation.
concept relation[contravariant value element]
Declaration: relation
Announcements: relation
Direct supertypes: function
All supertypes: deeply_immutable data / value / entity
Direct subtypes: equivalence relation
← predicate ideal • library • elements • relation equivalence relation →