Definition
Complete Binary Relation
A binary relation
is complete if every pair of elements is comparable, i.e.,
Examples
The relation
on is complete because for any ,
Complete Binary Relation
A binary relation
is complete if every pair of elements is comparable, i.e.,
The relation
on is complete because for any ,