for A being non empty Subset of GRZ-formula-set
for R being GRZ-rule
for t being GRZ-formula st t in A holds
A,R |- t