predicate
数学precondition
proportional
primitive
preconditioning数学
progression数学
Combination
correspondence
distributive property
integrating