Nuprl Definition : preserved_by2

(ternary) preserves P  ==  ∀x,y,z:T.  ((P x)  (P y)  (R z)  (P z))



Definitions occuring in Statement :  all: x:A. B[x] implies:  Q apply: a
Definitions occuring in definition :  all: x:A. B[x] implies:  Q apply: a
FDL editor aliases :  preserved_by2

Latex:
(ternary)  R  preserves  P    ==    \mforall{}x,y,z:T.    ((P  x)  {}\mRightarrow{}  (P  y)  {}\mRightarrow{}  (R  x  y  z)  {}\mRightarrow{}  (P  z))



Date html generated: 2016_05_14-AM-06_05_27
Last ObjectModification: 2015_09_22-PM-05_46_52

Theory : relations


Home Index