Simmetriklik

Симметриклик - бинар (икки ўринли, икки ҳадли) муносабатларнинг хоссаси. Бу муносабатларнинг бажарилиши (ечилиши) унда иштирок этувчи элементлар жуфтларининг кандай тартибда киришига боғлиқ бўлмайди. Агар аникланиш соҳасида олинган ҳар қандай иккита х ва у элемент учун хРй муносабатдан йРх муносабат келиб чиқса, Р муносабат симметрик муносабат дейилади. Тенгликтипидаги (мас, айният, эквивалентлик, ўхшашлик) муносабатлар ҳам симметрик бўлади. С.нинг тескариси антисимметриклик бўлиб, унда х=у бўлганда хЯухглЛ йРх (хРй нинг инкори) келиб чиқади, яъни хРй билан йРх дан, албатта, х=у деган хулосага келинади. Мас, сонлар тўпламидаги тартибланиш муносабати (каттакичик) антисимметрикдир. Логикматематик амалларга нисбатан С. коммутативлик деб аталади. Мас, сонларни кушиш, купайтириш, тупламларни бирлаштириш ва кесиштириш натижалари қўшилувчи, кўпайтувчи ва бошқа тартибига боғлиқ эмас.