The world is viewed as a collection of objects, sets of objects, properties, and relations. All individuals, including spatio-temporal locations, have properties .
Situations are intensional objects.
For this reason, abstract situations are proposed to be their counterparts amenable to mathematical manipulation. An abstract situation is defined as a set-theoretic construct. Given a real situation s , the set , where is an infon, is the corresponding abstract situation. Otherwise, s . In case of abstract situations, the supports relation reduces to set-inclusion.