↓何これ?(´∀` )にしか見えん。。。。

S={A | Bj <≦ Bj' for ∀j'≠j } for ∀ ( m, j )