Sources: Rudin's Principles of Mathematical Analysis, Schindler's Set Theory, Alberto Bressan's lectures on Functional Analysis