An annotation specifying that the property which receives this annotation is bijective.
This means that the mapping done by the property is identifying in both directions,
i.e. the property is functional and inverse functional (see Functional, InverseFunctional).