Nuprl Definition : bag-cover
bag-cover(T;R;mx;b) == sub-bag(T;mx;b) ∧ bag-covers(T;R;mx;b) ∧ bag-incomparable(T;R;mx)
Definitions occuring in Statement :
bag-covers: bag-covers(T;R;cvr;b),
bag-incomparable: bag-incomparable(T;R;b),
sub-bag: sub-bag(T;as;bs),
and: P ∧ Q
Definitions occuring in definition :
sub-bag: sub-bag(T;as;bs),
and: P ∧ Q,
bag-covers: bag-covers(T;R;cvr;b),
bag-incomparable: bag-incomparable(T;R;b)
FDL editor aliases :
bag-cover
Latex:
bag-cover(T;R;mx;b) == sub-bag(T;mx;b) \mwedge{} bag-covers(T;R;mx;b) \mwedge{} bag-incomparable(T;R;mx)
Date html generated:
2016_05_15-PM-03_12_29
Last ObjectModification:
2015_09_23-AM-07_42_34
Theory : bags
Home
Index