Fediverse = universe of federated instances.
Federation = many entities connected together and interoperating, etc
Instance: every individual Lemmy site with its own domain name runs an instance (a running copy of the software) on its server.
Those servers are talking to each other so users on one can talk to users on another server. That's federation.