corvc - Mathbox for Thierry Arnoux

	Mathbox for Thierry Arnoux		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > corvc		Structured version Visualization version GIF version

Syntax Definition corvc 32322

Description: Extend class notation to include the preimage set mapping operator.

**Hypothesis**
Ref	Expression
cR	class 𝑅

**Assertion**
Ref	Expression
corvc	class ∘_RV/𝑐𝑅

See definition df-orvc 32323 for more information.

Colors of variables: wff setvar class