for I being set holds {} is Element of Fin I