The Theory pf
Parents
zfc
Constants
pf_hered
(SET
z
BOOL)
BOOL
pure_function
SET
z
BOOL
Definitions
pf_hered
p
pf_hered p
(
s
(
e
e
z
field
z
s
p e)
fun
z
s
p s)
pure_function
s
pure_function s
(
p
pf_hered p
p s)
©
created 1999/11/04 modified 1999/11/04