Gradation of supra-openness (Q1965333)

A gradation of supra-openness on a set \(X\) is a mapping \({\mathcal T}: [0,1]^X\to [0,1]\) such that \({\mathcal T}(0_X)={\mathcal T}(1_X)=1\) and \({\mathcal T} (\bigvee_{i\in {\mathcal I}}U_i) \geq\bigwedge_{i\in {\mathcal I}}{\mathcal T}(U_i)\) for each family \(\{U_i\mid i\in{\mathcal I}\} \subset [0,1]^X\) (cf. the definition of \([0, 1]\)-fuzzy topology in the sense of the reviewer [Rend. Circ. Mat. Palermo, II. Ser. Suppl. 11, 89-103 (1985; Zbl 0638.54007)]. The authors consider level decomposition of a gradation of supra-openness and some other of its properties. Besides, the concepts of a fuzzy supra-proximity (cf. the definition of fuzzy proximity in [\textit{A. K. Katsaras}, J. Math. Anal. Appl. 75, 571-583 (1980; Zbl 0443.54006)]) and a fuzzy supra-uniformity (cf. the definition of fuzzy uniformity in [\textit{B. Hutton}, ibid. 58, 559-571 (1977; Zbl 0358.54008)]) are introduced. It is shown how fuzzy supra-proximities and fuzzy supra-uniformities induce the gradation of supra-openness on the corresponding set.