Entity is the set of all values and is used as the type for implicitly declared variables and implicitly typed formal parameters.
Because it is an infinite set, Entity currently behaves like an empty set when used as the source of an iterator. In future, compilers might be more sophisticated in their treatment of iterators involving infinite sets, including Entity.
By definition, Entity is a set and a set is value. Therefore, Entity is a member of itself. Furthermore, since all values belong to Entity, every set (including Entity) is a subset of Entity.