Contraction semi-group