ϕ
:
(
∅
→
S
)
⟶
S
\phi \;\colon\; \big( \emptyset \to S \big) \longrightarrow S
\n