 Universal property of a fibre product

For morphisms $X\to S$ and $Y\to S$, maps $T\to X{\times }_{S}Y$ are naturally equivalent to pairs of maps $T\to X$ and $T\to Y$ whose composites to $S$ agree.