Description: The real numbers form a set. See also reexALT 11296 . (Contributed by Mario Carneiro, 17-Nov-2014.)