زیرهنگرد
همچنین شناخته شده با: زیرمجموعه
برابر انگلیک (انگلیسی): subset


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem B.1 ⟩ Modal Theorem K.3 ⟩ ماگما ⟩ Modal Axiom B ⟩ خشنودی‌پذیری ⟩ بوندگی افماریک کارکردی رایه‌ی یکم