Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Restricted quantification
crab
Next ⟩
df-ral
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
crab
Description:
Extend class notation to include the restricted class abstraction (class builder).
Ref
Expression
Assertion
crab
$${class}\left\{{x}\in {A}|{\phi}\right\}$$