defined homotopic modules