Equality and inclusion