{x \mid x >= 7}