proper names for pretopology laws