Mutual Exclusion

If process $P_i$ is executing in its critical section, no other processes can be executing in critical section