x,y,z:T. P(x) 
P(y) R(x,y,z) P(z)T:Type, P:(T
Prop), R:(TTTProp). (ternary) R preserves P 
Prop| Who Cites preserved by2? | |
| preserved_by2 | Def (ternary) R preserves P == x,y,z:T. P(x) P(y) R(x,y,z) P(z) |
| Thm* T:Type, P:(TProp), R:(TTTProp). (ternary) R preserves P Prop |
| Syntax: | (ternary) R preserves P | has structure: | preserved_by2(T; R; P) |
About:
 |  |  |  |  |  |  |  |