Example. The domain \mathbb {B}_\bot \times \mathbb {B}_\bot [dt-000F]

As can be seen above, the domain \mathbb {B}_\bot \times \mathbb {B}_\bot is not flat, but it is still a pointed poset.