maths
The HA-Ops tools operate on basic Deployment Units to compose systems. The primitives are Clients (a user application) and GraphDBs.
The basic deployment unit is a Client C paired with a GraphDB G
to produce a C[G] - a Client with a single element set of GraphDBs.
pair C G = C[G]
Adding a GraphDB to a Deployment requires the GraphDB to be uniquely identified.
add C[G] G = C[Ga, Gb]
Adding a Client directly to a deployment is not a supported operation. A "client" is not a user, but an application. Expanding access to a GraphDB is an application-level concern, outside the scope of GraphDB deployments.
add C C[G] = error "unsupported operation"
Deployment Units can be added together, requiring both the constituent Clients and GraphDBs to be uniquely identified.
add C[G] C[G] = [Ca[Ga], Cb[Gb]] 