Rime libere corrispondenti per extensional definition