Nuprl Definition : DeMorgan-algebra-structure
DeMorganAlgebraStructure ==
"Point":Type
"meet":self."Point" ⟶ self."Point" ⟶ self."Point"
"join":self."Point" ⟶ self."Point" ⟶ self."Point"
"1":self."Point"
"0":self."Point"
"neg":self."Point" ⟶ self."Point"
Definitions occuring in Statement :
top: Top,
function: x:A ⟶ B[x],
token: "$token",
universe: Type,
record-select: r.x,
record+: record+,
record: record(x.T[x])
Definitions occuring in definition :
record+: record+,
record: record(x.T[x]),
top: Top,
universe: Type,
function: x:A ⟶ B[x],
record-select: r.x,
token: "$token"
FDL editor aliases :
DeMorgan-algebra-structure
Latex:
DeMorganAlgebraStructure ==
"Point":Type
"meet":self."Point" {}\mrightarrow{} self."Point" {}\mrightarrow{} self."Point"
"join":self."Point" {}\mrightarrow{} self."Point" {}\mrightarrow{} self."Point"
"1":self."Point"
"0":self."Point"
"neg":self."Point" {}\mrightarrow{} self."Point"
Date html generated:
2016_05_18-AM-11_46_25
Last ObjectModification:
2015_10_08-PM-05_32_40
Theory : lattices
Home
Index