2項関数に対する1項述語
abbr …【\(( {\sf X} , \mathop{{\sf f}} ) \, {:}\, \underline{2}\)】≈【\(\forall {\sf x} , {\sf y} \in {\sf X} . {\sf x} \mathop{{\sf f}} {\sf y} \in {\sf X}\)】alias = のせいで証明できなくなった
{% X ; [2 => A]}
自然数の演算
\(\mathbb{M}{+}\)【\(( \mathbb{M} , + ) \, {:}\, \underline{2} \mathfrak{C} \mathfrak{A}\)】word(ss,s) … \(\cdot\)
\(\cdot 1\)【\(m \in \mathbb{M} \Longrightarrow m \cdot 1 = m\)】
\(\mathbb{M}{\cdot}\)【\(( \mathbb{M} , \cdot ) \, {:}\, \underline{2} \mathfrak{C} \mathfrak{A}\)】