S = {0, 1, 2} 上には上記の三角乗法△は存在しません。
それを示すにはもう少し定理の充実が必要なので進めます。