Definition:Lower Section (Class Theory)