请输入您要查询的百科知识:

 

词条 Enumerative definition
释义

  1. See also

{{Unreferenced|date=December 2009}}

An enumerative definition of a concept or term is a special type of extensional definition that gives an explicit and exhaustive listing of all the objects that fall under the concept or term in question. Enumerative definitions are only possible for finite sets and only practical for relatively small sets.

An example of an enumerative definition for the set

//extant species">extant monotreme species

(for which the intensional definition is species of currently-living mammals that lay eggs) would be

platypi

echidnae:

short-beaked echidna

long-beaked echidnae:

Sir David's long-beaked echidna

eastern long-beaked echidna

western long-beaked echidna

See also

  • Definition
  • Extension
  • Extensional definition
  • Set notation
  • Enumeration
{{Defining}}{{DEFAULTSORT:Enumerative Definition}}{{logic-stub}}{{ling-stub}}

2 : Logic|Definition

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/22 10:32:17