Let be a nonempty subset of . If and if is compact, then is an attractor block.

This corollary gives a sufficient condition on a subset for its closure to be an attractor block. The proof is an immediate consequence of Theorem 3.11 and Lemma 3.10.