set dimension

[ریاضیات] بعد مجموعه