Template:Contraction-closed ideal property