Complete two-type
= Complete two-type
{title2=$S_2(T)$}
A <complete two-type> is a <complete type> in two <free variables>. Such a <partial type> describes both individual properties and relations between a pair of elements.
= Complete two-type
{title2=$S_2(T)$}
A <complete two-type> is a <complete type> in two <free variables>. Such a <partial type> describes both individual properties and relations between a pair of elements.