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