Используемые в тексте обозначения из теории множеств И математической логики