We take the type PHONE to be a given, or primitive type. A phone connection is simply a set of phones, and we define CON to represent the type of all possible phone connections.
We now define the schema TN to model a telephone net. It consists of a set of connections, cons, and a set of requests, reqs. We require that all connections are also requests and that no phone is simultaneously in two distinct connections.
