Definition:Immediate Predecessor Element (Class Theory)