チェーンホモトピー:定義、同値関係、および意義