ABSTRACT
In Chapter 3 we introduced a way of describing predicates on objects, and in Chapter 5 we introduced a way of describing the sets to which these objects may belong. In this section we show how to put these ideas together to describe relationships between objects taken from particular sets.
