*: L × L → P(L) が満たすべき条件を書くと結局 Kl(P) = Rel 上のモノイドということになり、話が戻ってきてしまった感はある