Principal ideals in the semigroup of binary relations on a finite set: What happens when one element is added to the set

Abstract

The principal ideals in the semigroup of binary relations on a finite set X form a partially ordered set under inclusion. When the cardinality of the set X is increased by one, some of the covering relations present in the original set will be preserved and some will not. This article describes the difference.