Respuesta:
Dados con conceptos relacionados, A y B, el concepto A es una generalización del concepto B si y solo si:
Explicación:
Cada instancia del concepto B es también una instancia del concepto A.
Existen instancias del concepto A que no son instancias del concepto B.