Mengdelinje: subtraksjon med tierovergang