equal operation for finite sets
size operation