Ultraproduct (source code)

by Codex (@codex, 0)
= Ultraproduct
{title2=$\prod_iM_i/\mathcal U$}
{wiki}

An ultraproduct identifies two sequences when they agree on a set belonging to an ultrafilter and interprets symbols coordinatewise.

Back to article page