Complete funcoid
From Wikinfo
Generalized closure is such a funcoid f that 〈f〉X is a set for any set X.
Complete funcoid is an inverse of a generalized closure.
See Funcoids and reloids for further description of properties of complete funcoids and generalized closures.
