A proposition on which another proposition depends; the antecedent of a conditional proposition.

• 前提为另外一命题所依赖的命题；先决条件