fact: Structure wrespectful6 (clo: rel -> rel) : Prop := wrespect6_intro { wrespect6_mon: monotone6 clo; wrespect6_respect : forall l r (LE: l <6= r) (GF: l <6= gf r), clo l <6= gf (rclo6 clo r); }.
imports: Program.Basics Paco(paco6 pacotac)