それをK(S)と定義する