> A distributed social network or federated social network is an Internet social networking service that is decentralized and distributed across distinct providers (something like email but for social networks), such as the Fediverse.
I can have a single non-distributed computer system and have that single computer be decentralized by having the programs it runs be done through achieving consensus. Your definitions are a bit off because Mastadon and Bitcoin are both distributed and decentralized systems.