A set of student is well defined