Что угодно: различия между версиями
| Строка 28: | Строка 28: | ||
''Определение'': Пусть имеется алгебраическая структура <math>(X,\circledast_1,\circledast_2,\ldots,\circledast_n)</math>, где X — множество, а <math>\circledast_i</math> — операции на нём, то «что угодно» (обозначается за <math>\boxed{?}</math>) определяется как такой элемент множества X, что выполено условие <math>\forall x\in X\quad\forall i=\overline{1,n}\quad\boxed{?}\circledast x=\boxed{?}=x\circledast\boxed{?}</math>, то есть «что угодно» — аннулятор по всем действиям. | ''Определение'': Пусть имеется алгебраическая структура <math>(X,\circledast_1,\circledast_2,\ldots,\circledast_n)</math>, где X — множество, а <math>\circledast_i</math> — операции на нём, то «что угодно» (обозначается за <math>\boxed{?}</math>) определяется как такой элемент множества X, что выполено условие <math>\forall x\in X\quad\forall i=\overline{1,n}\quad\boxed{?}\circledast x=\boxed{?}=x\circledast\boxed{?}</math>, то есть «что угодно» — аннулятор по всем действиям. | ||
Данное определение естественным образом вытекает из рекурсивного (или естественного, как его ещё называют), так как что что угодно, | Данное определение естественным образом вытекает из рекурсивного (или естественного, как его ещё называют), так как что что угодно, помноженное на что-либо, есть снова что угодно. | ||
''Второе примечание, за неимением первого: к Ктулху и др. божественным личностям данное определение просьба не применять.'' | |||
=== Арифметическое === | === Арифметическое === | ||