あとは,演算を整えれば,Ideal Extension of S by T が出来上がる.
Then, define the operation to whole, and you get the Ideal Extension of S by T.
演算の未定義部分をうまく定義して,半群になるようにしましょう.
Let's define the multiplication of the undefined combinations in the
multiplication table.