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.