Теория множеств логика Пустое множество определение обозначение пример