inf (s) and sup (S) belong to the closure of S

Printable View