Prove that theta is a reflexive, symmetric, and transitive relation; that is for all f, g, h: N to N,
a. f belongs to theta f;
b. f belongs to theta g then g belongs to theta f;
c. f belongs to theta g and g belongs to theta h then f belongs to theta h;
Reflexive, symmetric and transitive relations are investigated. The solution is detailed and well presented.