For the set $$N$$ of natural numbers and a binary operation $$f:N \times N \to N$$, an element $$z \in N$$ is called an identity for $$f$$ if $$f\left( {a,z} \right) = a = f\left( {z,a} \right)$$ for all $$a \in N$$. Which of the following binary operations have an identify?
$${\rm I}$$) $$\,\,\,\,\,\,f\left( {x,y} \right) = x + y - 3$$
$${\rm I}{\rm I}$$ $$\,\,\,\,\,\,f\left( {x,y} \right) = {\mkern 1mu} \max \left( {x,y} \right)$$
$${\rm I}{\rm I}{\rm I}$$$$\,\,\,\,\,f\left( {x,y} \right) = \,{x^y}$$

The following is the Hasse diagram of the poset $$\left[ {\left\{ {a,b,c,d,e} \right\}, \prec } \right]$$

The poset is:

Let $$A$$, $$B$$ and $$C$$ be non-empty sets and let $$X = (A - B) - C$$ and $$Y = (A - C) - (B - C)$$

Which one of the following is TRUE?

Let $$f$$ be a function from a set $$A$$ to a set $$B$$, $$g$$ a function from $$B$$ to $$C$$, and $$h$$ a function from $$A$$ to $$C$$, such that $$h\left( a \right) = g\left( {f\left( a \right)} \right)$$ for all $$a \in A$$. Which of the following statements is always true for all such functions $$f$$ and $$g$$?