Prudie it is the beginning of mathematical logic
( for all x, x+x=2x ) - is closed because the 'for all x' bit covers all the variables
rather than for all x ..... x+y = z where the for 'all x bit' does NOT cover y and z - hence open - ( actually closed for x and open for y and z but what the hell)
excellent that they are doing this at skool
usually university stuff -
I did gook at it and think - hey this is about quantifiers - bit advanced for skool innit ?
like this
https://en.wikipedia.org/wiki/Universal_quantification