fact: Structure prespectful14 (clo: rel -> rel) : Prop := prespect14_intro { prespect14_mon: monotone14 clo; prespect14_respect : forall l r (LE: l <14= r) (GF: l <14= gf r), clo l <14= paco14 gf (r \14/ clo r); }.
imports: Program.Basics Paco(paco14 pacotac)