Also 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
在數學裡，集合建構式符號（set-builder notation）是常用于描述集合的一種記號，這種描述集合的方式一般也稱為集合抽象化（set abstraction）或set comprehension。一般寫為或，分別只在於論域的不同，前者的元素恰好是那些符合謂詞P的集合，而後者的元素除了符合謂詞P，還得是S的元素。
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).