IRC consists of a couple of protocols. One protocol links servesrs together into a networked super-server. Another allows users to communicate with the various servers using an IRC client.
All IRC servers are not connected together. You can group IRC servers into sets of `connected' servers or IRC networks. Two of the more popular IRC networks are EFNet and part 1 of the IRC FAQ