👉 Decidity is a concept in logic and computer science that refers to a property of sets or other mathematical structures where every element can be uniquely determined by its predecessor. In other words, it states that if you have a set S with an operation
defined on it, then there exists a unique function f such that for any x in S, the following holds:
f(x) = [x <--> x]