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