Pullback in a category

The pullback of $X\to Z\leftarrow Y$ is a universal commutative square with an object mapping to $X$ and $Y$. In the Category of sets, it is the set of pairs with equal images in $Z$.