  We present a diagram surveying equivalence or strict implication for
properties of different nature (algebraic, model theoretic, topological, etc.)
about groups definable in o-minimal structures. All results are well-known and
an extensive bibliography is provided.
