La técnica de forcing, introducida por Paul Cohen, es utilizada para generar modelos de ZFC. La técnica comienza con un modelo 
  
    
      
        V
      
    
    {\displaystyle V}
  , conocido como modelo base, después fijando un orden parcial  
  
    
      
        
          P
        
        ∈
        V
      
    
    {\displaystyle \mathbb {P} \in V}
  , conocido como forcing, que codifica las condiciones deseadas del modelo que se desea construir, entonces se fuerza con 
  
    
      
        
          P
        
      
    
    {\displaystyle \mathbb {P} }
   sobre 
  
    
      
        V
      
    
    {\displaystyle V}
   para obtener un modelo genérico  
  
    
      
        V
        [
        G
        ]
      
    
    {\displaystyle V[G]}
  .
El forcing de Sacks, denotado por 
  
    
      
        
          S
        
      
    
    {\displaystyle \mathbb {S} }
  , es uno de estos órdenes parciales. Fue introducido en 1971 por el matemático estadounidense Gerald Enoch Sacks para producir un real a con mínimo grado real de constructibilidad (minimal real degree of constructibility). También es conocido como forcing de árboles perfectos.