Universals belong to those entities that have neither spatial nor temporal parts, and that therefore have neither a (literally) spatial nor a (literally) temporal localisation. Universals are either non-predicative or predicative. The non-predicative universals are also called types or type-objects (for example, the letter A). The predicative universals, in turn, are divided into the properties and the relations. Types are closely related to properties: there is a property p(T) corresponding one-to-one to each type T, such that x exemplifies/instantiates T if, and only if, x exemplifies/instantiates p(T).