A logikában és általában a matematikában egy A fogalmat akkor és csak akkor nevezünk egy B fogalom speciális esetének , ha A minden példánya egyben B példánya is (más szóval, ha a B fogalom a B fogalom általánosítása). koncepció A ).
Például a négyzet a rombusz speciális esete , mivel minden négyzet egyben rombusz is (vagyis megfelel a rombusz definíciójának).