(a∈L(b))=>(L(a)⊂L(b))
かな