Nuprl Definition : list-closed
list-closed(T;L;f) == (∀x∈L.(∀z∈f x.(z ∈ L)))
Definitions occuring in Statement :
l_all: (∀x∈L.P[x]),
l_member: (x ∈ l),
apply: f a
Definitions occuring in definition :
l_all: (∀x∈L.P[x]),
apply: f a,
l_member: (x ∈ l)
FDL editor aliases :
list-closed
Latex:
list-closed(T;L;f) == (\mforall{}x\mmember{}L.(\mforall{}z\mmember{}f x.(z \mmember{} L)))
Date html generated:
2019_06_20-PM-01_50_36
Last ObjectModification:
2019_05_13-PM-03_35_42
Theory : list_1
Home
Index