不失一般性

不失一般性（without loss of generality，缩写：WLOG、WOLOG或w.l.o.g.）是数学中一个常见的表达式。其被用在证明中将前提条件明确到个例上时，说明该个例能代表普遍情况，而非一种特例。

參考資料

參見
 Up to
 
準用

外部連結

"Without Loss of Generality" by John Harrison - discussion of formalizing "WLOG" arguments in an automated theorem prover. 

数学术语