diff --git a/crates/ty_python_semantic/src/types/builder.rs b/crates/ty_python_semantic/src/types/builder.rs
index 6302094fa3..26de65a12a 100644
--- a/crates/ty_python_semantic/src/types/builder.rs
+++ b/crates/ty_python_semantic/src/types/builder.rs
@@ -629,7 +629,13 @@ impl<'db> UnionBuilder<'db> {
         self.try_build().unwrap_or(Type::Never)
     }
 
-    pub(crate) fn try_build(self) -> Option<Type<'db>> {
+    pub(crate) fn try_build(mut self) -> Option<Type<'db>> {
+        // If the type is defined recursively, the union type is sorted and normalized.
+        // This is because the execution order of the queries is not deterministic and may result in a different order of elements.
+        // The order of the union type does not affect the type check result, but unstable output is undesirable.
+        if self.recursively_defined.is_yes() {
+            self.order_elements = true;
+        }
         let mut types = vec![];
         for element in self.elements {
             match element {
@@ -653,8 +659,6 @@ impl<'db> UnionBuilder<'db> {
                     union_or_intersection_elements_ordering(self.db, l, r)
                 }
             });
-        } else {
-            types.sort_unstable_by(|l, r| structural_type_ordering(self.db, l, r));
         }
         match types.len() {
             0 => None,