A maximal chain of principal ideals in the semigroup of binary relations on a finite set (Q803288)

Let \(B_ n\) denote the semigroup of all binary relations on a set of n elements and let \(F_ n\) denote the nth Fibonacci number. The author constructs a maximal chain of \(F_{n+3}-1\) principal ideals in \(B_ n\). He notes that for \(n\geq 4\), this is the longest chain possible and poses the problem of determining whether this is true for all n. Some other related problems are posed as well.