Equality and partiality