Superharmonic Function

A real-valued function on a domain is superharmonic if is a subharmonic function. Equivalently, when is lower semicontinuous and not identically infinite on any component, it satisfies the super-mean-value inequality

for every closed disk centered at which is contained in the domain. A twice continuously differentiable function is superharmonic iff its Laplacian is nonpositive.