Let F be of class Tk for some k.
Then D is an equivalence relation on S. Each D-class of S contains......
We divide them into three classes depending on the width of......