is a finitely generated k-algebra

1 triples
GPTKB property