Set theory normally includes an axiom called the Foundation Axiom, which rules out "self-containing" or circular sets, like a set that is a member of itself. Anti-foundation axioms do the opposite: they deliberately allow such circular and infinitely descending membership structures. There are four well-known anti-foundation axioms in the literature, and researchers have studied how they relate to each other and what kinds of mathematical universes they produce.
The key tool for comparing these axioms involves a concept called bisimulation, which is a way of saying that two sets "look the same" from a structural standpoint, even if they are technically different objects. Three of the four known anti-foundation axioms can be seen as special cases of a general framework where you pick a particular well-behaved ("regular") bisimulation relation and use it to determine when two sets should be considered identical. The fourth axiom, called BAFA, stood somewhat apart from this unifying picture.
This paper extends that unifying framework by relaxing the conditions on the bisimulation relation, adding a requirement the authors call the "set property" while keeping the regularity condition. This broader class of bisimulations generates a whole new family of anti-foundation axioms that were not captured before. The authors show this extension is genuinely new and not trivial, meaning the new axioms describe mathematical universes that existing axioms could not already account for. The work expands the landscape of possible set theories that permit circular sets, giving mathematicians more tools to explore the boundaries of how set membership can behave.