═α∩Φ≥ΩΦ