A formal model for the discrete representation of spatial objects