proper subclass

[ریاضیات] جزء حقیقی یک مجموعه