Syntax definition cfusgr

Description: Extend class notation with finite simple graphs.

	Ref	Expression
Assertion	cfusgr	$$class\mathrm{FinUSGraph}$$