Assertion: gate | /r/HasProperty | bijective mappings of input
Facets:
value: to output
type: TRANSITIVE-OBJECT
value: always
type: TEMPORAL
Source sentences:
text: Because the gates unitary nature, all functions must be reversible and always be bijective mappings of input to output.