Logipedia-Jumb

relations.distributive

relations.monotonic

relations.associative

relations.commutative

relations.injective

relations.RC_reflexive

relations.RC

relations.transitive

relations.reflexive