The Characterization of Properties