Interior operator

From Free net encyclopedia