اندرهازش یک انگاشته

همچنین شناخته شده با: معرفی یک فرض
برابر انگلیک (انگلیسی): IL.H.05 IL.K.01 Introduction of an assumption PL.FL.1
دیسه‌ای
𝐴⊃(𝐵⊃𝐴)
A⊃(B⊃A)