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