by Yash Sharma | Nov 22, 2025 Detailed study of function properties (injective, image of sets) and relation properties (transitive). Includes formal definitions, propositions with proofs, and corollaries. Covers graph degree, vertices, and the Handshake Lemma applications.