В логике , тем более , что применяется в математике , концепция является частным случаем или специализации концепт B точно , если каждый экземпляр A также является экземпляром B , но не наоборот, или , что эквивалентно, если B является обобщением из A . Предельный случай является типом частного случая , который прибыл на принимая некоторые аспекты концепции до крайности то , что допускается в общем случае. Вырожденный случай является частным случаем , который каким - то образом качественно отличается от почти всех случаев допускаются.
Примеры частных случаев включают следующее:
- Все квадраты являются прямоугольниками (но не все прямоугольники являются квадратами); поэтому квадрат - это частный случай прямоугольника.
- Последняя теорема Ферма о том , что a n + b n = c n не имеет решений в натуральных числах с n> 2 , является частным случаем гипотезы Била о том , что a x + b y = c z не имеет примитивных решений в натуральных числах с x , y и z все больше 2, в частности, случай x = y = z .
Смотрите также
- Специализация (логика)