![]() |
Intuitionistic Logic Explorer |
< Previous
Next >
Nearby theorems |
|
Mirrors > Home > ILE Home > Th. List > copab | GIF version |
Description: Extend class notation to include ordered-pair class abstraction (class builder). |
Ref | Expression |
---|---|
wph | wff 𝜑 |
vx | setvar 𝑥 |
vy | setvar 𝑦 |
Ref | Expression |
---|---|
copab | class {⟨𝑥, 𝑦⟩ ∣ 𝜑} |
Colors of variables: wff set class |
Copyright terms: Public domain | W3C validator |