∅, multimea vida
si multimea insasi sunt submultimi improprii (e analog cu divizori proprii si improprii)
celelalte submultimi (daca acestea exista) sunt submultimi proprii