. "B covers X, i.e. B is stable under inclusions, i.e. if A ??? B and A??? ??? A, then A??? ??? B;" . . .