 An atomistic mereology would then correspond to the limit case where ‘ψ’ is identified with the predicate ‘A’ for every choice of ‘φ’. In an atomless mereology, by contrast, the choice of the base would depend each time on the level of “granularity” set by the relevant specification of ‘φ’.