抽象化 (數學)
Sign in to saveAlso known as set comprehension, set builder
mathematical notation for describing a set by enumerating its elements or stating the properties that its members must satisfy
Article · 中文
在數學裡，集合建構式符號（set-builder notation）是常用于描述集合的一種記號，這種描述集合的方式一般也稱為集合抽象化（set abstraction）或set comprehension。一般寫為或，分別只在於論域的不同，前者的元素恰好是那些符合謂詞P的集合，而後者的元素除了符合謂詞P，還得是S的元素。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
parity
Entity
element
Entity
axiom schema of specification
Entity
mathematics
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity
programming language
Entity
Python
Entity
natural number
Entity
integer
Entity
set theory
Entity
function
Entity
real number
Entity
rational number
Entity
John von Neumann
Entity
set
Entity
axiom
Entity
Q2370
Entity
Georg Cantor
Entity
Kurt Gödel
Entity