This document defines and discusses several key concepts in semantics, the study of meaning in language. It defines semantics as the linguistic and philosophical study of meaning in language, programming languages, and semiotics. It then provides definitions and examples of several semantic relations including synonymy, antonymy, polysemy, hyponymy, metonymy, and homophony/homonymy.