a thing that gives delight or satisfactionl pastime; amusement.

he who enjoys fun.

any of various types of play with a more or less humorous treatment of characters and situation and a happy ending; a comedy.