 If formula_3 is a metrisable compact space, then every collection of (possibly complex) measures on formula_3 is tight.This is not necessarily so for non-metrisable compact spaces.If we take formula_28 with its order topology, then there exists a measure formula_17 on it that is not inner regular.