tipos de finitud