含まれないと否定は違うよ?
ABにはもちろんBAは含まれないからBAを併記するんじゃないの?