Skup može da bude podskup ili nadskup drugog skupa ili da budu jednaki. Ovde dolazimo do potrebe da se izrazimo malo bogatije. Ako želimo da izrazimo odnos „skup A je podskup skupa B“ to bismo rekli i kao „svi elementi x koji pripadaju skupu A pripadaju i skupu B“. Istovremeno možemo reći i „neki elementi skupa B pripadaju i skupu A“. Da bismo to izrazili moramo da uvedemo kvantifikatore (kvantitet-količina) „svi“ i „neki“ u oznakama ∀ i ∃ (all, exists) čime otvaramo prostor za mnogo interesantne odnose među elementima modelovanog sveta i stvaramo osnovu za predikatsku logiku.