Spindle Assembly Checkpoint (SAC)
A surveillance mechanism that prevents the premature entry of chromosomes into mitosis until all chromosomes are properly attached to the spindle microtubules.
📜
The statement of the theorem
Let be the state of the cell cycle, where is the transition of interest. Define the attachment status function , where is the set of kinetochores, and if kinetochore is properly attached to a spindle microtubule, and otherwise. The Spindle Assembly Checkpoint (SAC) enforces the condition that the transition is only permitted if the global attachment satisfaction function is true:\n
Source: Wikipedia