ActivityPub is the protocol, Mastodon is an implementation of that protocol. There are other services built on ActivityPub that can interop with Mastodon, which is part of what makes the whole system awesome.