Cette opération est graduée, associative et distributive, ce qui permet de définir l`. Introduite à l`origine en cohomologie singulière, des constructions - analogues existent pour différentes théories cohomologiques. Le cup-produit se généralise sous la forme du .