Module vstd::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