En forma equivalente, A es una generalización de B si B es una especialización de A.