「量・性と論理」を扱い、なるべく独壇場とする世界
2つののを4つにして考える。バラバラにしてむしろダメならば逆に2つにして考える。
大小評価を使命にしており、数学の独壇場です。
{a/b}<{c/d} 濃度の低いものを入れて薄める {a+c/b+d}
(1/2)=(3/6) = (1+3)/(2+6)
集合に対する演算や作用によって定義される構造
1つの演算によって定義される構造や、
2つの演算によって定義される構造に分けられる。
マグマ(抽象)1つの二項演算が定義された集合
成り立たないもの
演算子は自由
"+"和の演算に対し可換群であり、
積の演算に対し、
a*b=b*aを満たすなら「可換環」満たさないなら「非可換環」