For every partition of S into two sets, at least one of the two sets is I-finite.
S の全ての元が冪等である場合には、その二項演算 "*" は冪等（演算）であるという。