| 1. A non-empty set IR of resources, called the domain or universe + | 1. A non-empty set IR, the resources of I, also called the domain or universe
of I.
- 2. A set IP, called the set of properties of I. -3. A mapping IEXT from IP into the powerset of IR x IR i.e. the - set of sets of pairs < x, y > with x and y in IR . -4. A mapping IS from IRIs into (IR union IP) -5. A partial mapping IL from literals into IR +2. A set IP, the properties of I. +3. A mapping IEXT from IP into the powerset of IR x IR (the + set of sets of pairs < x, y > with x and y in IR ), the extension mapping for properties in I. +4. A mapping IS from IRIs into (IR union IP), the denotation mapping for symbols in I. +5. A partial mapping IL from literals into IR, the denotation mapping for literals in I. - 6. An injective mapping RE from IR x IP x IR into IR, called the denotation of triple terms. + 6. An injective mapping RE from IR x IP x IR into IR, the extension mapping for triples in I. |