Let X be a set and 2$$^X$$ denote the powerset of X. Define a binary operation $$\Delta$$ on 2$$^X$$ as follows:

$$A\Delta B=(A-B)\cup(B-A)$$.

Let $$H=(2^X,\Delta)$$. Which of the following statements about H is/are correct?

A relation R is said to be circular if aRb and bRc together imply cRa. Which of the following options is/are correct?

Consider the first order predicate formula φ:

∀x[(∀z z|x ⇒ ((z = x) ∨ (z = 1))) ⇒ ∃w (w > x) ∧ (∀z z|w ⇒ ((w = z) ∨ (z = 1)))]

Here 'a|b' denotes that 'a divides b', where a and b are integers.

Consider the following sets:

S1. {1, 2, 3, ..., 100}
S2. Set of all positive integers
S3. Set of all integers

Which of the above sets satisfy φ?

Let N be the set of natural numbers. Consider the following sets.

$$\,\,\,\,\,\,\,\,$$ $$P:$$ Set of Rational numbers (positive and negative)
$$\,\,\,\,\,\,\,\,$$ $$Q:$$ Set of functions from $$\left\{ {0,1} \right\}$$ to $$N$$
$$\,\,\,\,\,\,\,\,$$ $$R:$$ Set of functions from $$N$$ to $$\left\{ {0,1} \right\}$$
$$\,\,\,\,\,\,\,\,$$ $$S:$$ Set of finite subsets of $$N.$$

Which of the sets above are countable?