To me, every Summonable Pet is an Ally, but not every Summonable Ally is a Pet.
Your definition is more precise, though. Mine is based more on flavour. For instance - how long does a Summonable Ally need to last before I count it as a Pet? I don't think I can come up with a duration off the top of my head.