>>775
じゃあつまり、必ずしも、バーの右側の条件を満たす集合という記述に
なってるとは限らないってことですよね?