Частковий випадок (логіка)

У логіці поняття A називається частковим або окремим випадком поняття B тоді і лише тоді, коли кожен екземпляр A є водночас і примірником B (іншими словами, якщо поняття B є узагальненням поняття A).

Наприклад, квадрат є окремим випадком ромба, оскільки кожен квадрат є водночас і ромбом (тобто, задовольняє означенню ромба).