Binary operation/Definition