je
PODMNOŽICA
množice
natanko tedaj, ko je vsak element množice
hkrati element množice
.