Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Just to be clear, when I write "\A x (x \in S -> ...)" in FOL, "x \in S" is presumably interpreted as if it were a literal s(x) where the interpretation of s is the set that I had in mind for S?
