polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
skup koji ima barem jedan element
Suprotnica: prazni skup
Jednadžba: $A\neq\emptyset$