Myhill Nerode theorem is consisting of the followings?

(A) L partitions Σ* into distinct classes
(B) If L is regular then, L generates finite number of classesIf L is regular then, L generates finite number of classes
(C) If L generates finite number of classes then L is regular
(D) All of above