Syntax definition cedg

Description: Extend class notation with the set of edges (of an undirected simple (hyper-/pseudo-)graph).

	Ref	Expression
Assertion	cedg	$$class\mathrm{Edg}$$