Solution set and interval notation