It is well known that a directed set is a set equipped with a partial order such that every pair of elements admits an upper bound. My question is the following: when imposing conditions such as the last one on pairs of elements in technical mathematical language, does one mean that the pair must be composed of distinct elements of does one refer to the elements of the cartesian product of the set with itself, thereby including the pairs made of the same element? Thank you for your attention.
As Arturo already explained in a comment: unless explicitly stated otherwise, we do include pairs of consisting of two times the same element.
For the definition of directed set however, this does not matter. In a preorder $(P, \leq)$, any pair $(a, a)$ has a common upper bound, namely $a$ itself. So the pairs consisting of two times the same element automatically satisfy this condition.