added intersection, subset checks to Fin