\documentstyle[fuzz]{article}
\begin{document}

\begin{schema}{Structure}
	first: \power \nat \\
	second: \nat
\where
	second \in first
\end{schema}

\begin{schema}{User}
	new: Structure
\where
	new.second = 0
\end{schema}

\end{document}