start using the symmetric definition of precategory

prove being a discret precategory is a property