We definiëren dat twee haakvectoren orthogonaal zijn wanneer hun inwendig product gelijk is aan de nul.

Voorbeelden

Bespreking

Merk op dat de definitie van het inwendig product zowel niet gecollapste als gecollapste haakvectoren omvat, dus zowel hoogbits, laagbits als don’t care bits. Dit geeft onmiddellijk een operationele betekenis aan de reden waarom men traditioneel zegt dan men “een extra structuur geeft” met een inwendig product aan een traditionele vector ruimte (projector ruimte) waarbij men dan van een inwendig product ruimte spreekt.