A statement of fact to be tested for truth or falsehood within an algorithm.

• 在算法中判定某个事实真假性的语句。