Returns true if x and y are equivalent, false otherwise.
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 As
order to order B.
Defines an ordering on A where all arrows switch direction.
Defines an ordering on A where all arrows switch direction.