# Commit 2024-10-29 14:36 33d49bb0

View on Github →chore: Rename `Inducing`

to `IsInducing`

(#18330)
`Function.Embedding`

is a type while `Embedding`

is a proposition, and there are many other kinds of embeddings than topological embeddings. Hence this PR is a step towards

- renaming
`Embedding`

to`IsEmbedding`

and similarly for neighboring declarations (which`Inducing`

is) - namespacing it inside
`Topology`