noun Mathematics. the theorem that every bounded set with an infinite number of elements contains at least one accumulation point.