Det förutsätts att man har avgränsat en domän av individer, ett s.k. individområde, som omfattar alla de individer man betraktar. För att uttrycka att allt i individområdet har en viss egenskap E bildar man först en satsfunktion E(x), dvs. ett uttryck med en variabel som uttrycker