Alternate Definitions for has unordered pair

include archived terms