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