Puede suceder que un subtipo, para existir deba ser de más de un “tipo”.