"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.
by XWK March 7, 2012
Get the WLOG mug.