A set of subsets of a set (or space) containing the empty subset. The elements of the paving are called stones. A set together with a paving forms a paved space . A compact paving (a compact paved space) is a paving (a paved space ) with the finite intersection property: for every finite subset , is non-empty.

References