Abuur nooc ka sii adag weedhan Xulashada caadiga ah waa 'I' in ay noqoto mid aan dhammaad lahayn iyo 'U' in ay ka kooban tahay dhammaan qaybaha 'I' ee 'I'.
Dabcan, nooc ka sii adag ee jumlada waa "Xulashada caadiga ah waa '' I 'in ay noqoto mid aan la koobi karayn iyo' U 'oo ay ku jiraan dhammaan qaybaha cofinite ee' I ', haddii kale ultrafilter waa asaasi ah, iyo ultraproduct waa isomorphic mid ka mid ah qodobada. "