Contracció (teoria dels operadors)