A thorough development of a topic at the core of mathematics, ideal for graduate students and professional mathematicians.