Demonstrate a quotient construction with only 5 axioms