On Ordering and Properties of Domains and Maps
flowlang.net