Yeah, sorry for being snarky, but the Fediverse refers to all federated software. So, Fedia.io for example, is an MBin instance. Which is different than Lemmy and Mastodon but they can all interact with each other. They’re all part of the overall Fediverse. So your comment was just kind of awkwardly phrased and redundant.

Which is both Fediverse and Mastodon.

Well… yeah.