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