J. A. Bergstra, “Fracpairs and Quantitative Mereology”, Transmath, Sep. 2026.