Formula q_263 (Q193): Difference between revisions

Latest revision as of 13:00, 20 April 2020

No description defined

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

q_263

0 references

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

0 references

@@ Property / arqmath formula id @@
+q_263
@@ Property / arqmath formula id: q_263 / 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