The contraction of M by S is given by M/S := (M* \ S)*, where * stands for dual, and \ is deletion.




The object contraction is a method function.