*Definition [#j33026a9]
Same as [[cl-isocompact]].
*Reference [#sd1c5385]
D. Jardon and V. V. Tkachuk, ''Ultracomplete metaLindelof spaces are almost locally compact'', New Zealand J. Math. Vol. 36, pp.277-285 (2007).