Description: A singleton containing an ordered pair is a finitely supported function. (Contributed by AV, 19-Jul-2019)