# "(I assume you mean the set of ordered pairs that contains only" #
# "the 1 pair given. If not -- please let me know !!!)" #
# "The question is:" \qquad \qquad "Is" \quad \ R \ = \ { (0, 0) \} \quad \ "a function "?" #
# "Here are two different reasons" \ R \ "is a function." #
# "1) If" \ \ R \ \ "were a not a function, it would contain a first" #
# "coordinate, say" \ a, "that is paired with more than one second" #
# "coordinate, say" \ b_1 \ "and" \ b_2 \, \ "where" \ b_1 != b_2.#
# "So then:" \qquad ( a ,b_1 ) \quad "and" \quad( a ,b_2 ) \quad \ "are two distinct points, and" #
# "they both belong to" \ R. #
# "But this is impossible --" \ R \ "contains only one point.
" #
# "So:" \qquad \qquad \qquad \qquad \ R \ = \ \ { (0, 0) \} \ \quad "must be a function." #
# "2) The only first coordinate" \ R \ \ "has, is" \ \ 0, \ "and it occurs only" #
# "once. So there are no repetitions in the first coordinates." #
# "Thus:" \qquad \qquad \qquad \qquad \qquad R \ = \ \ { (0, 0) \} \ quad "is a function." #
