A compact connected space is a space such that for subspaces and of with canonical monic mappings and such that the canonical monic mapping is an equivalence and the canonical monic mapping is an equivalence, either is an equivalence or is an equivalence.