Nuprl Definition : adjacent-compatible

adjacent-compatible(X;I;L) ==  (∀f1,f2∈L.  face-compatible(X;I;f1;f2))


Definitions occuring in Statement :  face-compatible: face-compatible(X;I;f1;f2),  pairwise: (∀x,y∈L.  P[x; y])
Definitions occuring in definition :  pairwise: (∀x,y∈L.  P[x; y]),  face-compatible: face-compatible(X;I;f1;f2)
FDL editor aliases :  adjacent-compatible
Latex:
adjacent-compatible(X;I;L)  ==    (\mforall{}f1,f2\mmember{}L.    face-compatible(X;I;f1;f2))


Date html generated: 2016_06_16-PM-05_50_07
Last ObjectModification: 2015_09_23-AM-09_31_22

Theory : cubical!sets


Home Index