 Weak Order \(\succeq\) is a weak order, that is: it is both transitive (for all acts \(f, g, h\): if \(f\succeq g\) and \(g\succeq h\), then \(f\succeq h\)) and complete (for all acts \(f, g\): either \(f\succeq g\) or \(g\succeq f\)).