Transitive model

From Free net encyclopedia