>>15

「Xが右G−集合である」には定義はあるのか?