Bir A kümesinin bir B kümesinin öz altkümesi olmasıne demektir?
A ⊂ B ve A ≠ B ise, A kümesi B kümesinin öz altkümesidir denir.