Muestre como se representa un par ordenado

El par ordenado formado por los elementos a y b donde el elemento a ocupa la primera posicion se representa matemáticamente como (a,b)={{a},{a,b}}(a,b) = \{\{ a\}, \{ a,b\}\}