Definition:Principle of General Induction/Minimally Closed Class/Terminology