S = \{x : x < \sqrt{2}\}