isSubalgebraOf

P165381
predicate

Indicates that one algebraic structure is a subalgebra of another, meaning it is closed under the same operations and inherits the algebraic structure from the larger one.

All labels observed (1)

Label Occurrences
isSubalgebraOf canonical 4

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: isSubalgebraOf
Generated description
Indicates that one algebraic structure is a subalgebra of another, meaning it is closed under the same operations and inherits the algebraic structure from the larger one.

Sample triples (4)

Subject Object
sl(2,C) gl(2,C)
Gelfand–Tsetlin algebra universal enveloping algebra
Gelfand–Tsetlin algebra U(gl_n)
Gelfand–Tsetlin algebra U(sl_n)