Definition Safe Alternative (COMSOC) An alternative x is safe if for every other other alternative y∈C∖{x}, the pair {x,y}⊆C is fixed.