fact: Structure prespectful11 (clo: rel -> rel) : Prop := prespect11_intro { prespect11_mon: monotone11 clo; prespect11_respect : forall l r (LE: l <11= r) (GF: l <11= gf r), clo l <11= paco11 gf (r \11/ clo r); }.
imports: Program.Basics Paco(paco11 pacotac)