Власна підмножина

якщо A є підмножиною B, A – не порожня й A не співпадає з B, то A називається власною або нетривіа́льною підмножиною