Module relations

Provides specifications for spec closures as relations.

Functions

antisymmetric

associative

asymmetric

commutative

connected

equivalence_relation

injective

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