Let T⊆ℝ denote a subset and a∈ℝ a point. Let
be a function and b∈ℝ a point. Then the following statements are equivalent.