Una especialización puede consistir, en ocasiones, en la detección de un único subtipo al que una instancia del supertipo puede pertenecer o no.