Returns true
if x
and y
are equivalent, false
otherwise.
Returns false
if x
and y
are equivalent, true
otherwise.
Returns false
if x
and y
are equivalent, true
otherwise.
Defines an order on B
by mapping B
to A
using f
and using A
s
order to order B
.
Defines an ordering on A
where all arrows switch direction.
Defines an ordering on A
where all arrows switch direction.