base

a part of a rule of transformation having the form of a rule of interpretation and playing the part of a premise in a proof, excursus A ¶4, excursus B ¶2.