We greatly extend fuzzifying topology by introducing a unary fuzzy pre
dicate interpreted as the property to be fuzzifying topological spaces
on the class of all so-called fuzzifying pretopological spaces and by
adopting the semantic method of complete residuated lattice-valued lo
gic.