{a} \(\{a\}\) — Singleton Class Functional Symbol ({a}, AST Constructor: CpSingleton)
Unary functional symbol {a} = {x | (a set) → (x = a)} (Entry DefSingletonSet (3.48)). Clicking { or } in a 1-element brace expression {a} navigates to this page.
| Field | Mathematical & Kernel Specification (MKTD1 / MKTD2) |
|---|---|
| Symbol |
{a}
\(\{a\}\)
|
| Category | Functional Symbol (Unary Class Operator) |
| SML AST Constructor | HC (CpSingleton of 'Class_EXP) [in datatype Class_p, typetheory.ML:561] |
| Constructor Arguments | 1. Element class a : Class |
| Metatype / Signature | Class → Class |
| Binder Status | No — Unary Mixfix Functional Symbol (Singleton {a}) |
| Defining Kernel Entries (ML Labels) | See Related Symbols & Kernel Entries below. |
| LaTeX Form | \{a\} |
| How to Understand It | SML AST Constructor: |
| Canonical Law / Usage | {a} = {x | (a set) → (x = a)} |
| Related Symbols & Kernel Entries |