Positive Recursive Teaching Dimension / Positive No-Clashing Teaching Dimension
Name: Positive Recursive Teaching Dimension / Positive No-Clashing Teaching Dimension
Parameter 1: Positive Recursive Teaching Dimension
Parameter 2: Positive No-Clashing Teaching Dimension
Relationship Type: $P_1\ge P_2$
Variant: