Syntax definition cfusgr

Description: Extend class notation with finite simple graphs.

	Ref	Expression
Assertion	cfusgr	class FinUSGraph