fact: Structure wrespectful14 (clo: rel -> rel) : Prop := wrespect14_intro { wrespect14_mon: monotone14 clo; wrespect14_respect : forall l r (LE: l <14= r) (GF: l <14= gf r), clo l <14= gf (rclo14 clo r); }.
imports: Program.Basics Paco(paco14 pacotac)