Definitions: (1) lively playfulness; merriment; amusement; sport; recreation; joking frivolity; (2) a source or cause of enjoyable distraction <as a game or an amusing person or thing>

Comment: You might tease a friend with a bit of banter, but there is no ‘fun’ in making fun of someone.

• Make space in your life for the things that matter, for family and friends, love and generosity, fun and joy. — Rabbi Lord Jonathan Henry Sacks(1948-2020) British philosopher & theologian
• The Universal Zulu Nation stands to acknowledge wisdom, understanding, freedom, justice and equality, peace, unity, love, having fun, work, overcoming the negative through the positive, science, mathematics, faith, facts, and the wonders of God, whether we call him Allah, Jehovah, Yahweh, or Jah. — Lance Taylor {aka: Afrika Bambaataa] (1957-) American DJ & rapper