Discrete Category on Set is Discrete Category

Theorem
Let $S$ be a set.

Then $S$ determines a unique discrete category $\mathbf{Dis} \left({S}\right)$ whose objects precisely comprise $S$.