En lógica y matemáticas en general, un concepto A se llama un caso especial de un concepto B si y solo si cada instancia de A es al mismo tiempo una instancia de B (en otras palabras, si el concepto B es una generalización del concepto B). concepto A ).
Por ejemplo, un cuadrado es un caso especial de rombo , ya que todo cuadrado es también un rombo al mismo tiempo (es decir, cumple la definición de rombo).