 Complete two-type

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.