1. (

• boredom ,
• ennui ,
• tedium

) the feeling of being bored by something tedious ;