reserve Y for non empty set;
reserve B for Subset of Y;

theorem
  for a,b being Function of Y,BOOLEAN holds a '&' a=a;
