preimage
given a binary relation, the set of all elements of the domain that map to the members of a given subset of the codomain
| rdfs:label |
"preimage"@en
|
|
skos:alt |
"inverse image"@en
|
| schema:description |
"given a binary relation, the set of all elements of the domain that map to the members of a given subset of the codomain"@en
|
|
schema:date |
"2026-09-08T10:49:49+00:00"^^xsd:dateTime |
| schema:version | 2542201515 |
| wikibase:identifiers | 7 |
| wikibase:sitelinks | 11 |
| wikibase:statements | 20 |
| p:P10017 | wd:statement/Q5637899-07b67b60-46dc-b799-263b-afe9528d1952 |
| p:P18 | wd:statement/Q5637899-7D921694-093D-46D8-98C2-FB47EE22978B |
| p:P1889 | wd:statement/Q5637899-52a2ebc9-47c2-c9c6-b508-21910e2e07be |
| wd:statement/Q5637899-84b43959-4fb1-485c-f0e1-f7a5b485ca0c | |
| wd:statement/Q5637899-8d755ad0-4316-225a-efb6-384ce4f599b0 | |
| p:P2534 | wd:statement/Q5637899-7bea8e7d-4b42-c48a-a374-67c0069dd6c3 |
| p:P2670 | wd:statement/Q5637899-7e7028f3-45fb-fbe6-c701-8f01f75bd1bd |
| p:P2671 | wd:statement/Q5637899-B1DEA1A6-A353-4278-8AB8-5214010FA339 |
| p:P279 | wd:statement/Q5637899-B5CEC9C8-279B-4680-A62E-64669F67824D |
| p:P2812 | wd:statement/Q5637899-dc7bd75a-4ef5-6dde-25fb-14b23586bb34 |
| p:P361 | wd:statement/Q5637899-906d7270-4309-1458-ec45-8b9df33c800e |
| p:P4215 | wd:statement/Q5637899-b7ae2b8c-4b36-c255-d269-d8c22832c077 |
| p:P6104 | wd:statement/Q5637899-C35A1A88-D7AB-4B06-8409-39AB97E32491 |
| p:P7235 | wd:statement/Q5637899-b985d692-40d6-1399-40cb-79ef44d848cc |
| wd:statement/Q5637899-e17e927c-4c40-de3c-1546-462f8f2e89da | |
| wd:statement/Q5637899-f0f084d2-49ed-9788-26a6-591051979e96 | |
| wd:statement/Q5637899-f3e343b9-422d-94e3-e243-364f4e579c97 | |
| p:P9621 | wd:statement/Q5637899-1a030db1-4fe1-6853-97c6-1b4f04fcd30d |
| wd:statement/Q5637899-47d58c03-4051-fd2a-00ff-46d69f6b760d | |
| wd:statement/Q5637899-7f8cfe1b-4639-7435-c6ae-e714babf9d5d | |
|
p:direct- |
<http:/ |
| wdt:P10017 | "controimmagine" |
| wdt:P18 |
<http:/ |
| wdt:P1889 | fiber |
| inverse image functor | |
| element of a fiber | |
| wdt:P2534 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><msup><mi>f</mi><mrow data-mjx-texclass="ORD"><mrow data-mjx-texclass="ORD"><mo stretchy="false">−</mo><mn>1</mn></mrow></mrow></msup><mo stretchy="false">[</mo><mi>B</mi><mo stretchy="false">]</mo><mo stretchy="false">=</mo><mo fence="false" stretchy="false">{</mo><mi>x</mi><mo stretchy="false">∈</mo><mi>X</mi><mspace width="0.167em"></mspace><mo stretchy="false">:</mo><mspace width="0.167em"></mspace><mi>f</mi><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo><mo stretchy="false">∈</mo><mi>B</mi><mo fence="false" stretchy="false">}</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P2670 | element of a fiber |
| wdt:P2671 | "/g/11b6vzc87h" |
| wdt:P279 | set |
| wdt:P2812 | "Pre-Image" |
| wdt:P361 | domain of a function |
| wdt:P4215 | "preimage" |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P7235 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>B</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>X</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>f</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><msup><mi>f</mi><mrow data-mjx-texclass="ORD"><mrow data-mjx-texclass="ORD"><mo stretchy="false">−</mo><mn>1</mn></mrow></mrow></msup><mo stretchy="false">[</mo><mo stretchy="false">⋅</mo><mo stretchy="false">]</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| wdt:P9621 | "antimmagine" |
| "controimmagine" |
Download as: