|
|
|---|
|
|
|
|---|
Operations on DAGs.
We introduce operations on sets of certificates representing DAGs. Some operations on sets of certificates are introduced in operations-certificate-retrieval, but those are really about general sets of certificates, while the ones introduced here are more specific to DAGs.