Em ciência da computação, um combinador de ponto fixo é uma função y de alta ordem que satisfaz a equação y f = f para todo f {\displaystyle y\ f=f\ \ \ {\text{ para todo }}f} ou em palavras: y, quando aplicado a uma função arbitrária f, produz o mesmo resultado que f aplicada para o resultado da aplicação f para y. Wikipedia