Sublocaly jsou studovány jako ideály vzhledem k průsekum jako aditivní struktuře a Heytingově operaci jako násobení. Řada faktů se dá dokázat mnohem snadněji než klasickými metodami.