We introduce the concept of a fuzzy completely normal space or FT5-space and fuzzy paraproximity space showing that every fuzzy paraproximity space induces a fuzzy completely normal space and vice versa.

We shall extend the notion of a K-proximity relation and its properties into an intuitionistic fuzzy sense. We generate an intuitionistic fuzzy K-proximity by a given fuzzy K-proximity in different forms. Also, intuitionistic fuzzy K-proximity mappings and its properties are considered.