\begin{tabbing}
strong{-}subtype($A$; $B$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=subtype\_rel($A$; $B$)\+
\\[0ex]c$\wedge$ subtype\_rel(\{$b$:$B$$\mid$ $\exists$$a$:$A$. ($b$ = $a$ $\in$ $B$)\} ; $A$)
\\[0ex]c$\wedge$ ($\forall$$a_{1}$:$A$, $a_{2}$:$A$. ($a_{1}$ = $a_{2}$ $\in$ $B$) $\Rightarrow$ ($a_{1}$ = $a_{2}$ $\in$ $A$))
\-
\end{tabbing}