Теория множеств: включение одного множества в другое