Consider the operators $\diamond$ and $\square$ defined by $a \diamond b=a+2 b, a \square b=a b$, for positive integers. Which of the following statements is/are TRUE?

Let $$f:A \to B$$ be an onto (or surjective) function, where A and B are nonempty sets. Define an equivalence relation $$\sim$$ on the set A as

$${a_1} \sim {a_2}$$ if $$f({a_1}) = f({a_2})$$,

where $${a_1},{a_2} \in A$$. Let $$\varepsilon = \{ [x]:x \in A\} $$ be the set of all the equivalence classes under $$\sim$$. Define a new mapping $$F:\varepsilon \to B$$ as

$$F([x]) = f(x)$$, for all the equivalence classes $$[x]$$ in $$\varepsilon $$.

Which of the following statements is/are TRUE?

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?