Nuprl Definition : base-partial
base-partial(T) == {x:Base| x ∈ T supposing (x)↓ ∧ (¬is-exception(x))}
Definitions occuring in Statement :
has-value: (a)↓,
is-exception: is-exception(t),
uimplies: b supposing a,
not: ¬A,
and: P ∧ Q,
member: t ∈ T,
set: {x:A| B[x]} ,
base: Base
Definitions occuring in definition :
set: {x:A| B[x]} ,
base: Base,
and: P ∧ Q,
uimplies: b supposing a,
has-value: (a)↓,
member: t ∈ T,
not: ¬A,
is-exception: is-exception(t)
FDL editor aliases :
base-partial
Latex:
base-partial(T) == \{x:Base| x \mmember{} T supposing (x)\mdownarrow{} \mwedge{} (\mneg{}is-exception(x))\}
Date html generated:
2016_05_14-AM-06_09_18
Last ObjectModification:
2015_09_22-PM-05_46_13
Theory : partial_1
Home
Index