fact: Structure prespectful6 (clo: rel -> rel) : Prop := prespect6_intro { prespect6_mon: monotone6 clo; prespect6_respect : forall l r (LE: l <6= r) (GF: l <6= gf r), clo l <6= paco6 gf (r \6/ clo r); }.
imports: Program.Basics Paco(paco6 pacotac)