whe - Mathbox for Richard Penner

	Mathbox for Richard Penner		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > whe		Structured version Visualization version GIF version

Syntax Definition whe 40125

Description: The property of relation 𝑅 being hereditary in class 𝐴.

**Hypotheses**
Ref	Expression
cA	class 𝐴
cR	class 𝑅

**Assertion**
Ref	Expression
whe	wff 𝑅 hereditary 𝐴

See definition df-he 40126 for more information.

Colors of variables: wff setvar class