Ratkaisu:

a) $\text{[math]}$ , joss $\text{[math]}$ . Esimerkiksi $\text{[math]}$ ei ole relaatiossa itsensä kanssa.

b) Jos $\text{[math]}$ , niin $\text{[math]}$ ja $\text{[math]}$ . Tällöin tietenkin $\text{[math]}$ ja $\text{[math]}$ , eli $\text{[math]}$ .

c) $\text{[math]}$ ja $\text{[math]}$ , mutta $\text{[math]}$ ei päde.