Morgan, F. Compactness. ProMath 2008, 22, 123-133.