Definition of HOMOLOGATION