Алгебраїчна система

Матеріал з Вікіпедії — вільної енциклопедії.

Алгебраїчною системою < AFR > називаєтся об'єкт, що складається з трьох множин: непорожньої множини A, множини алгебраїчних операцій ΩF , визначених на A, і множини відношень ΩR , визначених на A. Множина A називається носієм алгебраїчної системи. Якщо алгебраїчна система не містить операцій, вона називається моделлю, якщо не містить відношень, то - алгеброю.


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.