subalgebra

11 triples
GPTKB property