O presente do indicativo em orações condicionais de valor genérico
Eu leio há muito tempo em textos técnicos de Matemática construções do tipo «Se um conjunto é finito, então qualquer subconjunto deste também é». Ou, quando muito, «Se um conjunto for finito, então qualquer subconjunto deste também é.» Essas parecem-me erradas (um erro aparentemente oriundo de um anglicismo). A que me parece correta é a seguinte: «Se um conjunto for finito, então qualquer subconjunto deste também será.»
Assim, tenho esta dúvida: em uma frase condicional do tipo «Se (...), então (...)», o verbo na oração subordinada deve necessariamente estar conjugado no modo conjuntivo? Ademais, pode-se estabelecer alguma relação a priori entre os tempos nos quais os verbos das orações principal e subordinada são conjugados?
Agradeço desde já.
