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
В теории множеств и его приложениях к логике, математике и информатике форма записи множества — это математические обозначения для описания множества путём перечисления его или указания свойств, которым элементы множества должны удовлетворять.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).