polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
aksiom teorije skupova prema kojemu za svaki skup nepraznih skupova postoji skup koji sa svakim od njih ima točno po jedan zajednički element