Is there any connection between the symbol $\supset$ when it means implication and its meaning as superset?
113640
Why is there this strange contradiction between the language of logic and that of set theory?
17161
Can anyone make me understand in simple language why the second condition for being an Euclidean domain is superfluous?
78009
Why can't we use implication for the existential quantifier?
17212
The preimage of a subset
27482
How to show $-\sup(-A)=\inf(A)$?
113566
\subseteq + \circ as a single symbol ("open subset")
9066
Whats the difference between Antisymmetric and reflexive? (Set Theory/Discrete math)
29849
How can I show that $\sup(AB)\geq\sup A\sup B$ for $A,B\subset\mathbb{R}$ where $A\cup B$ is positive and bounded?
12569
Using the terms 'theorem 'and 'tautology'
126633
Is a contradiction enough to prove a set equality to $\varnothing$?
1307
Infimum and supremum of the empty set
83714
$A \in B$ vs. $A \subset B$ for proofs
7112
Product of sets and supremum
86154
Why is this true? A set is Dedekind infinite if and only if equipotent to the union with the set containing itself
84199
What does the $\|$ operation mean in cryptographic notation?
37041
Why is $\text{Aut}(F)$ of the forgetful functor $F$ on $G$-sets isomorphic to $G$?
22804
Interpretation of limsup-liminf of sets