Works only with FiniteSets