Showing changes from revision #3 to #4:
Added | Removed | Changed
< infinitely iterated preimage
For every type and subtype , let be a function from the subtype to . Given any subtype , the infinitely iterated inverse image is defined as the maximal subtype such that the inverse image of under is equivalent to itself:
Last revised on June 17, 2022 at 23:01:35. See the history of this page for a list of all contributions to it.