MATH.2:7 - Conformance Checklist

• Are the carrier, retained operations and receiving query identifiable?
• Does the relation used to form classes satisfy equivalence, rather than only resemblance or proximity?
• Do equivalent input tuples give equivalent outputs for every operation claimed on the quotient?
• For each retained partial operation, is availability also independent of the representative?
• Does the quotient definition return one class without requiring an unstated representative choice?
• Is the requested answer constant on the relevant classes, or is the lost information explicitly retained or returned as possibilities?
• Has a changed operation or query been checked at the condition it changes?

A counterexample closes a failed proposed identification. It does not require a completed replacement quotient before it can be useful.