Let be a class of Objects of a Locally Small Category We say that is a separating family for if the functors for are Collectively Faithful i.e. for any if for all with then . If then is called a separator.