Subtipurile sunt corect definite dacă reprezintă o partiţie a supratipului. Mai exact, pentru ca subtipurile să fie corect definite trebuie să respecte două condiţii:

1. Exclusivitate mutuală (subtipurile sunt disjuncte două câte două)

2. Completitudine (reuniunea subtipurilor este egală cu supratipul)

Din aceste două proprietăţi deducem că orice instanţă a supratipului aparţine exact unui singur subtip.