hasFixedPoint

P179459 predicate

Indicates that a function or mapping has at least one input value that is mapped to itself as output.

Sample triples (1)

Subject Object
T:z ↦ z+1
surface form: T : z ↦ z + 1