代数系 algebraic system

$A$に演算「 * 」が定義されているとします.

このとき,集合$A$と演算「 * 」を合わせたものを代数系(algebraic system)といい,\[( A ; * )\]と表します.

Vita brevis, ars longa. Omnia vincit Amor.





















フッ素 2項演算 binary operation 関数型言語 群とモノイドと半群 暗号とは 形式的体系と決定問題