Definition

is contractible if (see homotopy equivalence)