Nuprl Definition : strict_part
strict_part(x,y.R[x; y];a;b) == R[a; b] ∧ (¬R[b; a])
Definitions occuring in Statement :
not: ¬A,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
not: ¬A
FDL editor aliases :
strict_part
Latex:
strict\_part(x,y.R[x; y];a;b) == R[a; b] \mwedge{} (\mneg{}R[b; a])
Date html generated:
2016_05_13-PM-04_16_00
Last ObjectModification:
2015_09_22-PM-05_46_06
Theory : rel_1
Home
Index