Dados con conceptos relacionados, "A" y "B", el concepto A es una generalización del concepto B si y sólo si: