AとBの論理積がAに属するのは自明やろ
お前めちゃくちゃアホなこと聞いてるぞ