Module core 

Core unary and binary relation types. Core relation types and algorithms.

Structs

BinaryRelation

Finite binary relation type. A finite binary relation.

UnaryRelation

Finite unary relation type. A finite unary relation.