Definition:Fixed Ultrafilter