Characterization of Properties and Relations de ned in