smallness analogy i think that describing compactness as a measure of in some sense smallness is a bit misleading to the uninformed reader especially since compact spaces can very often be supersets of non compact spaces long line vs real line etc perhaps a change of wording is in order thoughts