Ultrapower is a construction in model theory that allows the creation of larger models from a given structure by using an ultrafilter. This technique is used to prove the Łoś's theorem, which states that any first-order property true in the ultrapower is true for almost all elements of the original structure according to the ultrafilter.