P @ Q का अर्थ है →P बड़ा है Q से P # Q का अर्थ है →P या तो बड़ा है या फिर Q के समतुल्य है P = Q का अर्थ है →P बराबर है Q के P ⌂ Q का अर्थ है →P छोटा है Q से P ☼ Q का अर्थ है →P या तो छोटा है या फिर Q के समतुल्य है। कथनः M @ N, N ☼ T, T = P निष्कर्षः 1. P @ N 2. P = N