1. (

• boredom ,
• ennui ,
• tedium

) the feeling of being bored by something tedious ;

2. (

• tediousness ,
• tedium ,
• tiresomeness

) dullness owing to length or slowness ;