Definitions for "Equivalent equations"