Formula q_262 (Q192): Difference between revisions

Latest revision as of 13:00, 20 April 2020

No description defined

Language	Label	Description	Also known as
English	Formula q_262	No description defined

q_262

0 references

Empty(x)\iff \not \exists y(y\in x)

0 references

@@ Property / arqmath formula id @@
+q_262
@@ Property / arqmath formula id: q_262 / rank @@
+Normal rank
@@ Property / Defining formula @@
+ $Empty(x)\iff \not \exists y(y\in x)$ 
Empty(x) \iff \not \exists y (y \in x)
@@ Property / Defining formula: $Empty(x)\iff \not \exists y(y\in x)$ / rank @@
+Normal rank