realization relation ()