The appropriate domain for the grade level of a student at a four-year high school would logically be from 9th grade (freshman) to 12th grade (senior). Therefore, the correct option is:
\[ [9, 12] \]
This reflects the grade levels that high school students typically occupy.