Next: Bibliographical Notes
Up: Simple Refinement
Previous: Simple Refinement
The ``vacuously" in the proof of Theorem 2.4.2 on page 57
could refer to Lemma 2.2.2 instead.
Top of page 57: complement isn't a binary operator anyway - relative
complement would still be OK.
E.A.Boiten
2002-11-22