Часть множества - часть от совокупности элементов множества

Будем называть частью множества его подмножество - чтобы сделать формулировки более читаемыми (для простых смертных)