Analyzing infinite sets in relation to power-related issues, the deduction theorem, and post-theorem applications such as the Newton binomial and Pascal's triangle. The determination methods of fractional numbers of checked sets and the compositional functions. Ongoing in the embedded program for the academic year 2024-2025