Set systems and families of permutations with small traces

Let FF be a family of permutations on [n]={1,…,n}[n]={1,…,n} and let Y={y1,…,ym}⊆[n]Y={y1,…,ym}⊆[n], with y1