ℑ⊇≥◊≤⊆ℜ