Tacar éigríochta

Teoiric na dtacar

I dteoiric na dtacar nó i dtacartheoiric, is éard is tacar éigríochta ann ná tacar nach tacar críochta é. Is féidir go mbeidh tacair éigríochta inchomhairthe nó neamh-inchomhairthe.

Airí

Tá tacar na n-uimhreacha aiceanta (a bhfuil ann de réir aicsím na héigríochta) gan teorainn nó éigríocht. Is é an t-aon tacar a bhfuil gá díreach leis de réir na n-aicsiomaí a bheith gan teorainn. Is féidir a chruthú go bhfuil aon tacar éigríochta eile ann i dtacartheoiric Zermelo-Frankel (ZFC), ach amháin trí thaispeáint go leanann sé ó na huimhreacha aiceant a bheith ann.

Tá tacar éigríochta ach amháin má tá do gach uimhir aiceanta, fo-thacar ag an tacar arb é a bhunuimhreachtan an uimhir aiceanta sin.

Má tá an rogha-aicsím ann, ansin is tacar éigríochta é, ach amháin má tá fo-thacar inchomhaireamhach ann.