index set of a family

[ریاضیات] مجموعه ی زیرنویس خانواده