Description: The image of an unordered triple under a function. (Contributed by Thierry Arnoux, 19-Sep-2023)