Например, студент Хведоров не может быть подмножеством студентов университета, поскольку он сам не множество, а элемент. Поэтому он, как элемент, может быть лишь элементом множества студентов университета. А вот группа ух-003, как множество студентов, есть полноправное подмножество множества студентов университета. Но группа ух-003 состоит всего лишь из одного неотчисленного студента. Того самого Хведорова! Вот и получается, что сам Хведоров не может быть подмножеством, но группа, состоящая из него одного, может.

С другой стороны, если вдруг ректор решит рассматривать университет, как множество студенческих групп, то группа ух-003 станет элементом множества студенческих групп университета. Тут ничего страшного, если понимать, что множество студентов университета и множество студенческих групп университета – два разных множества.

Впрочем, нас бюрократическими закорючками не удивишь мы и не такое в жизни видим каждый день…

Но, все-таки, теории множеств есть чем удивить даже нас. Это, так называемые парадоксы теории множеств – одно из потрясений первого года прошлого столетия для узкого круга людей.

Поясним на знаменитом примере про брадобрея.

Правитель (вроде Петра I) повелел единственному брадобрею в своем царстве-государстве брить всех тех и только тех, кто не бреется сам. А наказание за ослушание – казнь. Вот брадобрей и бросился брить всех небритых. В конце-концов дошло до того, что он сам зарос бородой… Он взял бритву. Но если он начнет бриться, значит он бреется сам, а таких он брить не имеет права.

Отложив бритву, он понял, что он сам не бреется. Значит он должен взять бритву и… И что?! А ничего хорошего! Казнят бедолагу за нарушение приказа в любом случае!

С точки зрения теории множеств брадобрей в данном случае не смог определиться с (фундаментальным!) отношением принадлежности: включать или не включать себя самого в множество тех, кто не бреется сам.

То есть в основе теории множеств, которая претендует на роль фундамента ВСЕЙ математики, начальное базовое отношение принадлежности выкидывает такие фортеля, которые просто не позволяют создать некоторые из множеств!… Математики приняли единственное разумное решение: Договорились не создавать в рамках теории множеств такие множества, которые нельзя создать!

То есть теория множеств оперирует со всеми множествами, кроме тех, которые нельзя создать. Все эти множества, об'единенные в одно множество, называются УНИВЕРСУМОМ .