الحساب لغة: العد والإحصاء.
وحساب الفرائض: هو تأصيل المسألة وتصحيحها، لا علم الحساب المعروف؛ مع أنه لا بدَّ من معرفته لمن يريد إتقان علم الفرائض.
وأصول: جمع أصل، وهو ما يتفرَّع عنه غيره.
والمسائل: جمع مسألة، مصدر سأل سؤالًا ومسألةً، والمراد بها هنا: المسؤولة.
وأصول المسائل: هو أقل عدد يخرج منه فرضها أو فروضها بلا كسر.
ويأتي تعريف العول.
وَلِلْحِسَابِ إِنْ تَرُمْ تَصْحِيحَا ... مُؤَصِّلًا مُفَصِّلًا تَوْضِيحَا
فَاسْتَخْرِجِ السَّبْعَ الأُصُولَ تَلْقَى ... ثَلَاثَةً تَعُولُ لَا مَا يَبْقَى