A group of voters formula_1 is a "solid coalition" for a group of candidates formula_2, if every voter in formula_1 ranks every candidate in formula_2 ahead of every candidate that is not in formula_2.