in approximate one to one relationship with
A shortcut relationship between two entities x and y1, such that the intent is that the relationship is functional and inverse function, but there is no guarantee that this property holds.
logical macro assertion involving identity