Definition relation_equi
Definition.
relation_equi
relation R ↔ ∀t. t ∈ R → ∃x. ∃y. t = (x, y)
A class is called
relation
if all of its elements are
pairs
.