непустое множество

• neprázdná množina