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