At the heart of situation theory lies a scheme of individuation. Situations, relations, individuals, temporal locations, and spatial locations are the basic uniformities. The need for a mathematical representation of these uniformities resulted in what is known as types .
Types are higher-order uniformities which cut across basic uniformities.
The ontology of situation theory has been extended further to include other uniformities such as infons, polarities, etc. Only situations can be declared to have a situation type. Other objects in the system are left untyped. This approach has particular consequences on the conception of relations and parameters which are explained in the sequel.