neprázdná množina

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