More general lemmas about relations.
Monotonicity proved.
Relaxed the Greedy Theorem to accept an "in-context" greedy condition.
Beginning to tackle the greedy condition.