Defining ordering relations on natural numbers
More updates on Software foundations chapters