An example of goal-directed, calculational proof

Roland Backhouse, Walter Guttmann, Michael Winter

An equivalence relation can be constructed from a given (homogeneous, binary) relation in two steps: first, construct the smallest reflexive and transitive relation containing the…