WLOG
"Without Loss Of Generality" is a term used in proofs to indicate that an assumption is being made that does not introduce new restrictions to the problem.
If you've got a predicate which is symmetric in a and b, you can assume WLOG in the proof that a < b.