a hole is immaterial, it is not immediately obvious how to define one or distinguish it from others.

Another is the notion of homotopy group: these are invariants of a topological space that, when non-trivial (one also says in this case that the space is not k-connected), detect the presence of "holes" in the sense that the space contains a sphere that cannot be contracted to a point. The term of hole is often used informally