Nuprl Definition : m-open-cover

m-open-cover(X;d;I;i,x.A[i; x]) ==  (∀i:I. m-open(X;d;x.A[i; x])) ∧ (∀x:X. ∃i:I. A[i; x])


Definitions occuring in Statement :  m-open: m-open(X;d;x.A[x]),  all: ∀x:A. B[x],  exists: ∃x:A. B[x],  and: P ∧ Q
FDL editor aliases :  m-open-cover
Latex:
m-open-cover(X;d;I;i,x.A[i;  x])  ==    (\mforall{}i:I.  m-open(X;d;x.A[i;  x]))  \mwedge{}  (\mforall{}x:X.  \mexists{}i:I.  A[i;  x])


Date html generated: 2020_05_20-AM-11_55_32
Last ObjectModification: 2020_01_12-PM-00_41_41

Theory : reals


Home Index