( ) is every process in the set is waiting for an event that can only be caused by another process in the set. and it is a situation wherein two or more competing actions are waiting for the other to finish, so neither ever does.