This seems to be a very informative diagram showing the relationship between four forms of compactness in a general topological space. Prior to finding this I was trying to make sense of a seemingly countless (now seen to be countable = 12) collection of theorems relating one to another. The 12 relations are seen to simply to 6 proofs (A - F) and 6 corollaries by transitivity.
I found a version of this here https://pantherfile.uwm.edu/ancel/www/OLD%20COURSES/MATH%20752%20SPRING%202011/CHAPTER%20III/751.F10.IIIB-C.pdf
I haven't seen it anywhere else and would be interested if anyone has information about it.