En matemáticas, un conjunto grueso[1] o conjunto con grosor (thick set en inglés) es un Conjunto de números enteros que contiene intervalos arbitrariamente largos.
Es decir, dado un conjunto grueso
Otros conjuntos bien conocidos que son gruesos incluyen los no primos y los no cuadrados.
Los conjuntos gruesos también pueden ser escasos, por ejemplo: La noción de un conjunto grueso también se puede definir de manera más general para un semigrupo, de la siguiente manera.
, se dice que
es grueso si para cualquier subconjunto finito
tal que Se puede comprobar que cuando el semigrupo en consideración son los números naturales
, esta definición es equivalente a la anterior.