ההגדרה המדויקת ביותר עבור "מאכסן סופי" הינה: