structures ≤