From this definition, it is clear that a set is a subset of itself; for cases where one wishes to rule this out, the term proper subset is defined.
با این تعریف، واضح است که هر مجموعه زیر مجموعه خودش است؛ در صورتی که نخواهیم این مورد را به حساب بیاوریم، عبارت زیرمجموعه سره تعریف شده است.