Allen Freedman defined a density space to be the ordered pair
(S,𝓕) where S is a certain kind of semigroup called an s-set and 𝓕
is a special type of family of finite subsets of S called a fundamental
family on S. Several properties for density spaces are
obtained, and...