Definition. Star Continuity

2025-02-03 ยท kleene-algebra

A Kleene Algebra is star continuous if for all ๐‘ฅ,๐‘ฆ,๐‘ง

sup๐‘›โ‰ฅ0๐‘ฅ๐‘ฆ๐‘›๐‘ง=๐‘ฅ๐‘ฆโˆ—๐‘ง
star-continuity definition entries/parsing/star-continuity.hel