MATH.2:8 - Common Anti-Patterns and How to Avoid Them
Use a resemblance as if it partitioned the set. The distance-at-most-one example fails transitivity. Establish the relation being used before computing with its classes.
Check outputs but ignore availability. In the permission case, the absence of one output is the failure. Include the domain condition when operations are partial.
Treat any valid quotient as adequate for every query. Parity supports addition of classes while losing the numerical sum. Check the value the receiver actually asks for.
Impose one equation but ignore its consequences under composition. Identifying a^2 with the empty path also identifies a^3 with a. Carry the equation through the retained operation, or keep the objects distinct.