Дискретная математика теория множеств Конечные множества определение обозначение пример