This lecture covers the construction of the Lebesgue function on the Cantor set, exploring the binary expansion and the uniqueness of the binary operation. It also delves into the properties of the function, such as strict increasing behavior and its characterization as points with only digits 0 and 2. The lecture concludes with a proof regarding the measurability of certain sets and the implications for the function's injectivity.