Hi,

Consider the following example.

inherit='sale.order.line'

@api.onchange('product_id')
def onchange_product_id(self):
    if self.product_id:
        domain = [
            ('product_id', '=', self.product_id.id),
            ('id', 'not in', self.order_id.order_line.mapped('product_serial_number_id').ids)
        ]
        return {'domain': {'product_serial_number_id': domain}}
     else:
        return{}

This onchange method sets the domain filter on the product_serial_number_id field based on the selected Samsung S4 product and the serial numbers that have already been selected in other sale order lines. The order_id field is used to access the parent sale.order record, and its order_line field is used to access the existing sale order line records.

Regards