# Definition Bulk-Boundary correspondence is a property of [[Topological Insulator|topological insulators]] where there exist surface states (on appropriate surfaces) when the bulk has a non-trivial [[topological invariant]].