A [see page 8, property] for a problem where the solutions to the sub-problems used within the optimal solution are themselves optimal.