Syntax definition cisubgr

Description: Extend class notation with induced subgraphs.

	Ref	Expression
Assertion	cisubgr	$$class\mathrm{ISubGr}$$