Expand description
Provides specifications for spec closures as relations.
Functionsยง
- antisymmetric
- associative
- asymmetric
- commutative
- connected
- equivalence_
relation - injective
- injective_
on - irreflexive
- is_
greatest - is_
least - is_
maximal - is_
minimal - lemma_
new_ first_ element_ still_ sorted_ by - partial_
ordering - pre_
ordering - reflexive
- sorted_
by - strict_
total_ ordering - strongly_
connected - symmetric
- total_
ordering - transitive