Definition:Immediate Successor Element (Class Theory)