Select the Sauté setting on the Instant Pot and heat the olive oil. Add the carrots, celery, onion, and salt and sauté for about 5 minutes, until the onion has softened and is translucent.
Add the lentils, water, and bay leaf and stir well.
Secure the lid and set the Pressure Release to Sealing. Press the Cancel button to reset the cooking program, then select the Select the Soup/Broth setting and set the cooking time for 15 minutes at high pressure.
Let the pressure release naturally for at least 10 minutes, then move the Steam Release to Venting to release any remaining steam.
Open the pot and stir in the lemon juice, then taste and adjust the seasoning with salt if needed.
Ladle the soup into bowls, top each serving with a drizzle of extra-virgin olive oil and a sprinkling of sumac, and serve right away.
Notes
If you like, add 1 teaspoon of a favorite spice blend to the soup when you add the lentils. Garam masala, ras el hanout, and berbere are three of my favorites.