FS-domains of discs and formal balls

Only a short post this month: I would like to explain Lawson’s construction of an FS-domain that is not known to be an RB-domain. Roughly speaking, this is the domain of closed discs of the under with reverse inclusion, and one can generalize it to the domain of formal balls of certains (quasi-)metric spaces. Read the full post.