AB = {x | xA and xB}.