Discrete Category on Set is Discrete Category

Theorem
Let $S$ be a set.

Let $\map {\mathbf {Dis} } S$ be the discrete category on $S$.

Then $\map {\mathbf {Dis} } S$ determines a unique (up to isomorphism discrete category $\map {\mathbf {Dis} } S$ whose objects precisely comprise $S$.