in set theory, a system of ultrafilters representing an elementary embedding witnessing large cardinal properties