множество, в котором определена ассоциативная бинарная алгебраическая операция
В статье изучаются частные случаи алгебр многоместных отношений, а именно алгебры бинарных операций, определенных на элементах конечных и бесконечных множеств. Инструментальную основу исследования составляют унарная и ассоциативная бинарная операции над 3-местными отношениями, которые индуцируются операциями взятия обратного и произведения над 2-местными отношениями. Это позволяет перенести основные понятия, связанные со свойствами функциональности, инъективности, сюръективности и тотальности 2-местных отношений, на 3-местные отношения и сформулировать критерии выполнения подобных свойств в терминах упорядоченных полугрупп. Возникающая при этом система последовательных вложенний моноида квазигрупповых операций в моноид бинарных операций, а затем в моноид 3-местных отношений соответствует последовательным вложениям моноидов биекций, функций и 2-местных отношений. Разработанный аппарат позволяет применять к бинарным операциям и соответствующим им конечным группоидам быстрые алгоритмы ...
способ определения множества, при котором задаются некоторые элементы определяемого множества и некоторые правила, позволяющие из имеющихся получать другие элементы этого множества; в частном случае определение понятия P (n), зависящего от натурального параметра n, протекает по следующей схеме: задаются P (0) и правило получения P (n + 1) от n и P (n); напр., факториал n! определяется так: 0! = 1, (n + 1)! = (n + 1) · n!
аксиальный вектор
кривая, имеющая конечную длину
