fact: Structure wrespectful11 (clo: rel -> rel) : Prop := wrespect11_intro { wrespect11_mon: monotone11 clo; wrespect11_respect : forall l r (LE: l <11= r) (GF: l <11= gf r), clo l <11= gf (rclo11 clo r); }.
imports: Program.Basics Paco(paco11 pacotac)