Binary operation, definitions and declarations