Tacar
Sa mhatamaitic, rang dea-shainmhínithe eilimintí, is é sin, rang ar féidir a rá go cinnte an ball den rang aon eilimint ar leith nó nach ea. Mar shampla, is tacar iad na ré-uimhreacha, mar is ré-uimhir nó corruimhir gach uimhir. Mar mhalairt, ní féidir tacar a thabhairt ar na huimhreacha móra uile, mar ní cinnte cad is brí le ‘mór’. Is tacar é an tacar folamh nach bhfuil aon eilimint ann. Tá gach uile eilimint sa tacar uilíoch. Is é comhlánú an tacair A an tacar A´, ina bhfuil na heilimintí uile nach bhfuil in A. Tugtar trasnú dhá thacar A is B ar thacar na n-eilimintí uile atá ina mbaill de A is B. Tugtar aontú dhá thacar A is B ar thacar na n-eilimintí uile atá ina mbaill de A nó de B nó den dá cheann.

Tagairtí
Sa mhatamaitic , rang dea-shainmhínithe eilimintí , is é sin , rang ar féidir a rá go cinnte an ball den rang aon eilimint ar leith nó nach ea . Mar shampla , is tacar iad na ré-uimhreacha , mar is ré-uimhir nó corruimhir gach uimhir . Mar mhalairt , ní féidir tacar a thabhairt ar na huimhreacha móra uile , mar ní cinnte cad is brí le ‘mór’ . Is tacar é an tacar folamh nach bhfuil aon eilimint ann . Tá gach uile eilimint sa tacar uilíoch . Is é comhlánú an tacair A an tacar A ´ , ina bhfuil na heilimintí uile nach bhfuil in A . Tugtar trasnú dhá thacar A is B ar thacar na n-eilimintí uile atá ina mbaill de A is B . Tugtar aontú dhá thacar A is B ar thacar na n-eilimintí uile atá ina mbaill de A nó de B nó den dá cheann . Tagairtí