Em
matemática, um
conjunto é
fechado em relação a uma dada operação quando o resultado dessa
operação em elementos desse conjunto é ainda um elemento desse conjunto. Por exemplo, os números reais são fechados na subtração, mas os números naturais não são: 3 e 7 são ambos números naturais, mas o resultado de 3-7 não pertence ao conjunto dos naturais.
Similarmente, um conjunto é dito
fechado sob uma coleção de operações se é, individualmente, fechado em cada uma das operações.