for n being Nat
for a being Element of REAL n holds ClosedHyperInterval (a,a) = {a}