A new generalization of Calbrix-Troallic's theorem (Q2435270)

The notions of upper/lower quasicontinuity were introduced by (A) \textit{V. Popa} [Stud. Cercet. Mat. 27, 3, 323--328 (1975; Zbl 0309.54019)]. In (B) \textit{V. Popa} [Rev. Roum. Math. Pures Appl. 27, 807--815 (1982; Zbl 0505.54018)], the notions of upper/lower semicontinuity (in Jungck's sense) were introduced and studied. In \textit{V. Popa} [ibid. 30, 539--546 (1985; Zbl 0594.54018)], the equivalence of upper/lower quasicontinuity and upper/lower semicontinuity was proved. Let \((X,T)\) and \((Y,Q)\) be topological spaces. A multifunction \(F: X\to Y\) is said to be lower-quasicontinuous (A) at \(x_0\in X\) if for any neighbourhood \(U\) of \(x_0\) and any open set \(V\) of \(Y\) with \(F(x_0)\cap V\neq\emptyset\), there exists a nonempty set \(G\) of \(X\) such that \(G\subset U\) and \(F(x)\cap V\neq\emptyset\) for any \(x\in G\). \(F\) is quasicontinuous if it has this property at each \(x\in X\). The following characterization of lower-quasicontinuity is proved in this paper. Proposition 2.1. \(F\) is lower-quasicontinuous if and only if for any open set \(U\) in \(X\) and any \(A\subset X\) such that \(U\subset\text{Cl}(A)\) we have \(F(U)\subset\text{Cl}(F(A))\). Remark: This proposition is proposition (i), Theorem 2.2 from (B). The authors introduce a generalization of lower-quasicontinuity. Definition: A multivalued \(F: X\to Y\) is lower-pseudoquasicontinuous if for any nonempty set \(U\) in \(X\) and for any set \(A\) of \(X\) with \(U\subset\text{Cl}(A)\), there exists an open set \(G\) of \(X\) such that \(G\subset U\) and \(F(G)\subset\text{Cl}(F(A))\). On the other hand, the authors introduce lower categorical cliqueshness for multivalued maps and use this to obtain a general theorem on the points of joint continuity of mappings \(f: X\times Y\to Z\), yielding as a partial case a previous result of the authors [Ukr. Mat. Zh. 62, No. 6, 791--800 (2010); translation in Ukr. Math. J. 62, No. 6, 916--927 (2010; Zbl 1224.54037)], as well as a result of \textit{A. Bouziad} and \textit{J. P. Troallic} [Topology Appl. 157, No. 18, 2889--2894 (2010; Zbl 1213.54019)]