is closed under

10 triples
GPTKB property

Random triples
Subject Object
gptkb:sofic_shift complementation
gptkb:sofic_shift finite intersection
gptkb:Real_number Subtraction
gptkb:Real_number Addition
gptkb:Real_number Division (except by zero)
gptkb:sofic_shift finite union
gptkb:Two-sided_ideal Addition
gptkb:Two-sided_ideal Multiplication by any ring element
gptkb:Real_number Multiplication
gptkb:sofic_shift factor maps