数系扩展梳理：以运算的不封闭性为线索