abbr …【\(( {\sf X} , \mathop{{\sf f}} ) \, {:}\, \underline{2}\)】≈【\(\forall {\sf x} , {\sf y} \in {\sf X} . {\sf x} \mathop{{\sf f}} {\sf y} \in {\sf X}\)】