Let \(a_1,\ldots,a_n\) and \(b_1,\ldots,b_n\) be two disjoint collections of \(n\) elements.
The "crown" over them is the poset \(P=(V,\lhd)\) having \(a_1,\ldots,a_n,b_1,\ldots,b_n\)
as ground set and where \((a_i||a_j)\), \((b_i||b_j)\), \((a_i||b_i)\) and \(a_i\lhd b_j\),
for each \(i\neq j\) (\(||\) stands for "incomparable to").