Ontify
In algebra, any of several related functors on rings and modules that result in complete topological rings and modules.