Definition:Inner limit