{ x ,  - ∞ ,  + ∞ }] ;