Interior funcoid definition

Having a funcoid $f$ I defined what I call interior funcoid $f^\circ$. See this PDF file for a few equivalent definitions. Interior funcoid is a generalization of interior operator for a topological space. Interior funcoid is kinda dual funcoid.

Note that $f^{\circ\circ} = f$.