I did some other proposals as well, see commit. The alphabethical sorting makes it look as if a lot of changes were done...
For the bijection entries: I tried to remove the duplication in the definitions. Instead, bijective model transformation and bijective data transformation are both defined as "bijective transformation where ..."
Before:
Bijective Transformation
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between the elements of two sets where each element of one set is paired with exactly one element of the other set, and each element of the other set is paired with exactly one element of the first set. There are no unpaired elements. In terms of a transformation, this means that for every source model element, there is a corresponding element in the target model, and the transformation can first be executed in the direction A > B and then back B > A', with A equal to A'.
[Wikipedia]
Bijective Model Transformation
A Bijective Model Transformation is a model transformation where each model element in the source and target model is paired with exactly one element of the other set, and each element of the other set is paired with exactly one element of the first set. This means if the model transformation between an original model and the transsformed model is lossless, and the original model can be fully recreated based on the transformed model.
Bijective Data Transformation
This means if the data transformation between the default encoding and the alternative encoding is bijective, that conversion is lossless, and the original data set using the default encoding can be fully recreated based on the data that was transformed to the Alternative Encoding before.
After:
bijective data transformation
bijective transformation where the two sets are data structures, consisting of data elements
NOTE 1 A transformed data structure can be transformed back again into the original data structure if the applied data transformation is bijective.
bijective model transformation
bijective transformation where the two sets are models, consisting of model elements
NOTE 1 The first data model is also called the source model and the second data model is also called the target model.
NOTE 2 A transformed model can be transformed back again into the original model if the applied model transformation is bijective.
bijective transformation
bijective function
bijection
function between the elements of two sets where each element of one set is paired with exactly one element of the other set, and each element of the other set is paired with exactly one element of the first set.
NOTE As a consequence, there are no unpaired elements in the two sets.
I did some other proposals as well, see commit. The alphabethical sorting makes it look as if a lot of changes were done...
For the bijection entries: I tried to remove the duplication in the definitions. Instead, bijective model transformation and bijective data transformation are both defined as "bijective transformation where ..."
Before:
After: