We develop semitopologies, a new topological structure which gives a mathematical foundation to heterogeneous, decentralised, permissionless, computing systems. Semitopologies help to model consensus problems that commonly arise in designing cutting-edge…