полурешетка — полурешетка … Орфографический словарь-справочник
полурешетка — сущ., кол во синонимов: 1 • полурешётка (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
СВЯЗКА ПОЛУГРУПП — данного семейства {Sa} полугруппа S, обладающая разбиением на подполугруппы, классы к рого суть в точности полугруппы Sa, и для любых Sa,Sb существует Sg такая, что . В этом случае говорят также, что S разложима в связку полугрупп Sa.. Другими… … Математическая энциклопедия
ИНВЕРСНАЯ ПОЛУГРУППА — полугруппа, в к рой для любого элемента асуществует единственный инверсный к нему элемент а 1 (см. Регулярный элемент). Свойство полугруппы Sбыть инверсной эквивалентно каждому из следующих: S регулярная полугруппа и любые два ее идемпотента… … Математическая энциклопедия
ИДЕМПОТЕНТОВ ПОЛУГРУППА — идемпотентная полугруппа, полугруппа, каждый элемент к рой есть идемпотент. И. п. наз. также связкой (это согласуется с понятием связки полугрупп:И. п. есть связка одноэлементных полугрупп). Коммутативная И. п. наз. полуструктурой, или… … Математическая энциклопедия
НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… … Математическая энциклопедия
РЕШЕТКА ПОДАЛГЕБР — у н и в е р с а л ь н о й а л г е б р ы А частично упорядоченное (отношением теоретико множественного включения) множество Sub A всех подалгебр алгебры А. Для произвольных их супремумом будет подалгебра, порожденная Xи Y, а их инфинумом… … Математическая энциклопедия
УПОРЯДОЧЕННАЯ ПОЛУГРУППА — полугруппа, наделенная структурой (частичного, вообще говоря) порядка стабильного относительно полугрупповой операции, т. е. для любых элементов а, b, с из следует и Если отношение на У. н. Sесть линейный порядок, то S наз. линейно упорядоченной… … Математическая энциклопедия
ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… … Математическая энциклопедия
вводится соотношением 
), в к-ром для любой пары элементов существует точная верхняя грань suр { а, b}= а+b. Обратно, всякое частично упорядоченное множество с точными верхними гранями для любых пар элементов является П. относительно операции a+b=sup {а, b}. В этом случае говорят, что частично упорядоченное множество является верхней полуреш еткой (или полурешеткой по объединениям, или V-полурешеткой). Нижняя полурешетка, называемая также полурешеткой по пересечениям, или L-полурешеткой, определяется дуально как частично упорядоченное множество, в к-ром для любых двух элементов существует точная нижняя грань.