Ersatz.Relation
data Relation a b
relation
symmetric_relation
build
identity
bounds
(!)
indices
assocs
elems
table
mirror
union
complement
product
power
intersection
implies
symmetric
transitive
irreflexive
reflexive
regular
regular_in_degree
regular_out_degree
max_in_degree
min_in_degree
max_out_degree
min_out_degree
empty
complete
disjoint
equals