Inversa rilato

El testwiki
Revizio de 12:26, 3 nov. 2022 fare de imported>LiMrBot (Roboto: Anstataŭigo de kategorio Aroteorio per Aro-teorio)
(malsamoj) ← Antaŭa versio | Rigardi nunan version (malsamoj) | Sekva versio → (malsamoj)
Salti al navigilo Salti al serĉilo

Ŝablono:Polurinda En logiko kaj matematiko, la inversa rilato de duargumenta rilato LX×Y estas la duargumenta rilato L1Y×X difinita per L1={(y,x):(x,y)L}.

La inversa rilato estas ankaŭ nomita la rea rilato kaj povas esti skribita kiel LC, LTL˘.

Aparte, la inversa rilato de funkcio f:XY estas la duargumenta rilato f1Y×X difinita per f1={(y,x):(x,y)f}. Ne bezone la inversa rilato de funkcio estas mem funkcio. En la okazo ke ĝi estas funkcio, ĝi nomiĝas kiel la inversa funkcio de la fonta funkcio.

Vidu ankaŭ