Distributivity of a segmentation lattice

Closure spaces, namely the finite ones, with closed singletons are studied on the level of segmentations - partitions of the space into closed subsets. Segmentations form a lattice and we study spaces for which this lattice is distributive. Studying these spaces may help understanding mathematical background for segmentation of a digital image. A crucial notion is that of connectively irreducible sets which can be defined in any finite closure space. The paper provides several equivalent conditions for segmentational distributivity in terms of triples of closed sets, connected systems of closed sets, property of induced closure operator on down-sets of connectively irreducible sets, and finally by restriction (or disability) of existence of certain sublattices.& COPY; 2023 Elsevier B.V. All rights reserved.

Automated summary

This study focuses on closure spaces with closed singletons, and examines their completeness on the level of segmentations - partitions of the space into closed subsets. The paper investigates spaces where the lattice formed by segmentations is distributive. Exploring these spaces can help understand the mathematical background for segmentation of digital images. The key concept of connectively irreducible sets is crucial and can be defined in any finite closure space. The paper provides several equivalent conditions for the distributivity of segmentations in terms of closed sets triplets, connected systems of closed sets, properties of induced closure operator on down-sets of connectively irreducible sets, and restriction (or disability) of certain sublattice existence.