Logipedia
Modules
About
FAQ
Search
Search
relations.distributive
relations.monotonic
relations.associative
relations.commutative
relations.injective
relations.RC_reflexive
relations.RC
relations.transitive
relations.reflexive