We have the familiar Kuratowski-Mr owka theorem in topology, where compactness is characterised by a closure and a projection-map (X is compact i p : X Y ! Y is a closed mapping, for any space Y , i.e. p(A) = p(A) A ...