Kaikki syyttäjät ovat asianajajia, mutta kaikki eivät ole syyttäjiä. Kaikki asianajajat ovat lakimiehiä, mutta kaikki eivät ole asianajajia. Neliöt ovat suorakulmioita, mutta suorakulmiot eivät ole neliöitä.