Декартів квадрат
Декартів квадрат - Визначення Декартів квадрат морфізмів і це межа діаграми, тобто такий об'єкт разом з морфізмами, для якого діаграма ... Вікіпедія
АЛГЕБРАЇЧНА K-ТЕОРІЯ — розділ алгебри, який в основному займається вивченням До функторів по суті це частина загальної лінійної алгебри. Вона має справу зі структурною теорією проективних модулів та їх груп автоморфізмів. Спрощено, це узагальнення результатів про… … Математична енциклопедія
БІЦИКЛІЧНА НАПІВГРУПА - напівгрупа з одиницею і з двома утворюючими задана визначальним співвідношенням. Одна з реалізацій Б. п. декартів квадрат, де безліч невід'ємних цілих чисел щодо операції Б. п. є інверсною напівгрупою і як інверсна математика.
РЕКУРСИВНОЇ ЕКВІВАЛЕНТНОСТІ ТИП — клас еквівалентності для відношення рекурсивної еквівалентності, тобто сукупність всіх підмножин натурального ряду, кожні два з яких можуть бути приведені у взаємно однозначну відповідність за допомогою частково. Таким… … Математична енциклопедія
ФАКТОРНЕ ВІДОБРАЖЕННЯ — відображення f то пологіч. простору Xна топологіч. простір Y, при кром множина відкрито в просторі Yв тому і тільки тому випадку, якщо його прообраз f 1v відкритий в просторі X. Якщо дацре відображення f топологич. простору Xна… … Математична енциклопедія
Індуковане розшарування — розшарування, індуковане відображенням та розшаруванням, де підпростір прямого твору, що складається з пар, для яких … Вікіпедія
Лінія - I Лінія (від лат. linea) геометричне поняття, точне і в той же час досить загальне визначення якого представляє значні труднощі і здійснюється врізних розділах геометрії по-різному. 1) В елементарній… … Велика радянська енциклопедія