Added small helper function for fset maps