Operations and Definitions