Derivations in disjointly complete commutative regular algebras | Synapse