Fig. 1: Logical relationships between different notions of topological insulators.
From: Faithful novel machine learning for predicting quantum properties

The dotted arrows represent relationships between different notions of topological insulators that may require additional assumptions to establish, reflecting the fact that, while bulk definitions of crystals have relatively simple translational symmetry, boundaries can be extremely complex.