Assertion: transformation | /r/HasProperty | k → k′
Facets:
Source sentences:
text: Closure: the composition of two transformations is a transformation: consider a composition of transformations from the inertial frame K to inertial frame K′, (denoted as K → K′), and then from K′ to inertial frame K′′, [K′ → K′′], there exists a transformation, [K → K′]
text: Associativity: the transformations ( [K → K′]