fact: Structure wrespectful10 (clo: rel -> rel) : Prop := wrespect10_intro { wrespect10_mon: monotone10 clo; wrespect10_respect : forall l r (LE: l <10= r) (GF: l <10= gf r), clo l <10= gf (rclo10 clo r); }.
imports: Program.Basics Paco(paco10 pacotac)