Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Richard Penner
Propositions from _Begriffsschrift_
_Begriffsschrift_ Notation hints
whe
Next ⟩
df-he
Metamath Proof Explorer
Ascii
Structured
Syntax definition
whe
Description:
The property of relation
R
being hereditary in class
A
.
Ref
Expression
Assertion
whe
wff
𝑅
hereditary
𝐴