A ≤m B