Which class relation grounds universal-negative conversion?

Simple Conversion: Definition, Categorical Rules and Reductio

• Complete disjointness
• Complete inclusion of one in another
• Only partial overlap
• Synonymy of the terms