ដូចម្តេចដែលហៅថា អនុមានញែក ?

ដែលហៅថា អនុមានញែក ជាវាចាមួយបែប ដែលញែកសេចក្តីសន្និដ្ឋានចេញពីគោលការណ៍ទូទៅដើម្បីរកវិបាកឫចេញពីភាពរួ​មទៅរកភាពដោយឡែក ។
ឧទាហរណ៍ ៖ ទម្រង់នៃអនុមានញែក ៖
– សំណុំ P ជារបស់ Q ( មូលបដិញ្ញាធំ )
– X ជារបស់ P ( មូលបដិ្ឋញ្ញាតូច ) ។
ដូច្នេះ​ X ជារបស់ Q ( និដ្ឋានសញ្ញា )​ ។
ឧទាហរណ៍ លោហៈ (P) ទាំងអស់សុទ្ធតែចម្លងអគ្គិសនី (Q)(មូលបដិ្ឋញ្ញាធំ)
ទង់ដែង (X) ជាលោហៈ​ (មូលបដិ្ឋញ្ញាតូច)
ដូច្នេះទង់ដែងក៏ចម្លងអគ្គីសនីដែរ (និដ្ឋានបដិញ្ញា) ។