(* Victor B. F. Gomes, University of Cambridge Martin Kleppmann, University of Cambridge Dominic P. Mulligan, University of Cambridge Alastair R. Beresford, University of Cambridge *) section‹Observed-Remove Set› text‹The ORSet is a well-known CRDT for implementing replicated sets, supporting two operations: the \emph{insertion} and \emph{deletion} of an arbitrary element in the shared set.› theory ORSet imports Network begin