for I being non empty set
for a, b, c being set
for i being Element of I holds
( c in (i -singleton a) . b iff ( b = i & c = a ) )