egyedi füzér axióma

Rövid szöveges bemutatás: 
Az egyedi füzér axióma két karakterlánc egyenlőségére ad pontos definíciót. Ezek alapján két füzér vagy karakterlánc akkor és csakis akkor egyezik meg, jelentik ugyan azt, hogyha az első karakterlánc minden egyes pozícióján ugyan az a betű vagy szimbólum áll, mint a második karakterlánc megegyező pozíciójába. Ennek egyenes következménye, hogy különböző hosszúságú füzérek nem jelenthetik ugyan azt.