extender
in set theory, a system of ultrafilters representing an elementary embedding witnessing large cardinal properties
en-US/ˈɛkˌstɛndɚ/
en-GB/ɪkstɛndə/
in set theory, a system of ultrafilters representing an elementary embedding witnessing large cardinal properties