Axiomatic Granularity