История изменений

Исправление cvs-255, 07.10.17 00:10 (текущая версия) :

x - число, если x принадлежит к множеству M с операциями + и *, удовлетворяющему условиям:

1) в M есть подмножество, изоморфное N

2) ассоциативность, коммутативность + и *

3) дистрибутивность

4) существует, возможно не для всех пар элементов, операция -

Исходная версия cvs-255, 07.10.17 00:06:

x - число, если x принадлежит к множеству M с операциями + и *, удовлетворяющему условиям:

1) в M есть подмножество, изоморфное N 2) ассоциативность, коммутативность + и * 3) дистрибутивность