Interior operator
Redirect to:
Closure operator#Closure operators on partially ordered sets