← predicate ideal • library • elements • relation equivalence relation →
A binary relation.
concept relation[contravariant value element]
subtypes function[boolean, element, element]
← predicate ideal • library • elements • relation equivalence relation →