Inom logik och matematik i allmänhet kallas ett begrepp A ett specialfall av ett begrepp B om och endast om varje instans av A samtidigt är en instans av B (med andra ord, om begreppet B är en generalisering av koncept A ).
Till exempel är en kvadrat ett specialfall av en romb , eftersom varje kvadrat samtidigt är en romb (det vill säga den uppfyller definitionen av en romb).