Thus, they are free to replace some objects by others so long as the relations remain unchanged.