In the field of set theory, the concepts of one-to-one and onto functions are fundamental in understanding the relationships between sets. These concepts play a important role in various areas of mathematics, including computational complexity theory. In this context, they are particularly relevant for understanding the decidability of problems and the classification of sets based