Nuprl Definition : l_before
x before y ∈ l == [x; y] ⊆ l
Definitions occuring in Statement :
sublist: L1 ⊆ L2,
cons: [a / b],
nil: []
Definitions occuring in definition :
sublist: L1 ⊆ L2,
cons: [a / b],
nil: []
FDL editor aliases :
l_before
Latex:
x before y \mmember{} l == [x; y] \msubseteq{} l
Date html generated:
2016_05_14-AM-07_44_45
Last ObjectModification:
2015_09_22-PM-05_53_58
Theory : list_1
Home
Index